Canlyniadau Chwilio - program testing program implementation https https

1

Reflections on the Teaching of Programming Methods and Implementations /

Cyhoeddwyd 2008

Tabl Cynhwysion: “...Issues in Introductory Programming Courses -- to Part I Issues in Introductory Programming Courses...”
Cael y testun llawn

Electronig eLyfr

2

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Cael y testun llawn

Electronig eLyfr

3

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... in Prolog -- Static Memory Management for Logic Programming Languages -- Deductive Databases: Implementation...”
Cael y testun llawn

Electronig eLyfr

4

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Analysis of Logic Programs -- Testing for Termination with Monotonicity Constraints -- A Well-Founded...”
Cael y testun llawn

Electronig eLyfr

5

Programming Languages An Active Learning Approach /

gan Lee, Kent D., Lee, Kent D.
Cyhoeddwyd 2008

Tabl Cynhwysion: “... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...”
Cael y testun llawn

Electronig eLyfr

6

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006...

Cyhoeddwyd 2007

Tabl Cynhwysion: “...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”
Cael y testun llawn

Electronig eLyfr

7

Implementation and Applications of Automata 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008, Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... and Mosses’s Rewrite System Revisited -- Antichain-Based Universality and Inclusion Testing over...”
Cael y testun llawn

Electronig eLyfr

8

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /

Cyhoeddwyd 2015

Tabl Cynhwysion: “... Suites -- Case Study: Automatic test case generation for a secure cache Implementation -- Verifying Code...”
Cael y testun llawn

Electronig eLyfr

9

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...

Cyhoeddwyd 2007

Tabl Cynhwysion: “... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”
Cael y testun llawn

Electronig eLyfr

10

Trends in Functional Programming 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers /

Cyhoeddwyd 2011

Pynciau: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Cael y testun llawn

Electronig eLyfr

11

Programming Languages and Systems 11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings /

Cyhoeddwyd 2013

Tabl Cynhwysion: “... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”
Cael y testun llawn

Electronig eLyfr

12

Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... for Programs with Quantified First-Order Logic Specifications -- Efficient Distributed Test Architectures...”
Cael y testun llawn

Electronig eLyfr

13

Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers /

Cyhoeddwyd 2012

Tabl Cynhwysion: “...-In-Time Compiler for Haskell -- Lazy Generation of Canonical Test Programs -- Generic Monadic Constructs...”
Cael y testun llawn

Electronig eLyfr

14

Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers /

Cyhoeddwyd 2007

Tabl Cynhwysion: “...Invited Papers -- Actions, Causation and Logic Programming -- Challenges to Machine Learning...”
Cael y testun llawn

Electronig eLyfr

15

Implementation and Application of Functional Languages 19th International Workshop, IFL 2007...

Cyhoeddwyd 2008

Tabl Cynhwysion: “...Graph Parser Combinators -- Testing Erlang Refactorings with QuickCheck -- Optimal Lambda Lifting...”
Cael y testun llawn

Electronig eLyfr

16

Sudoku Programming with C

gan Zambon, Giulio., Zambon, Giulio.
Cyhoeddwyd 2015

Pynciau: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
Cael y testun llawn

Electronig eLyfr

17

Trends in Functional Programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers /

Cyhoeddwyd 2014

Pynciau: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
Cael y testun llawn

Electronig eLyfr

18

Python Programming Fundamentals

gan Lee, Kent D., Lee, Kent D.
Cyhoeddwyd 2011

Tabl Cynhwysion: “...-driven Programming -- Defining Classes....”
Cael y testun llawn

Electronig eLyfr

19

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying...

Cyhoeddwyd 2014

Tabl Cynhwysion: “...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”
Cael y testun llawn

Electronig eLyfr

20

Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... with Aggregates -- A DLP System with Object-Oriented Features -- Testing Strong Equivalence of Datalog Programs...”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad