Sökresultat - programs testing program implementation https https

1

Reflections on the Teaching of Programming Methods and Implementations /

Publicerad 2008

Innehållsförteckning: “...Issues in Introductory Programming Courses -- to Part I Issues in Introductory Programming Courses...”
Hämta fulltext

Elektronisk E-bok

2

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

Publicerad 2008

Innehållsförteckning: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Hämta fulltext

Elektronisk E-bok

3

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

Publicerad 2006

Innehållsförteckning: “... in Prolog -- Static Memory Management for Logic Programming Languages -- Deductive Databases: Implementation...”
Hämta fulltext

Elektronisk E-bok

4

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

Publicerad 2005

Innehållsförteckning: “... Analysis of Logic Programs -- Testing for Termination with Monotonicity Constraints -- A Well-Founded...”
Hämta fulltext

Elektronisk E-bok

5

Programming Languages An Active Learning Approach /

av Lee, Kent D., Lee, Kent D.
Publicerad 2008

Innehållsförteckning: “... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...”
Hämta fulltext

Elektronisk E-bok

6

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

Publicerad 2007

Innehållsförteckning: “...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”
Hämta fulltext

Elektronisk E-bok

7

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

Publicerad 2008

Innehållsförteckning: “... and Mosses’s Rewrite System Revisited -- Antichain-Based Universality and Inclusion Testing over...”
Hämta fulltext

Elektronisk E-bok

8

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

Publicerad 2015

Innehållsförteckning: “... Suites -- Case Study: Automatic test case generation for a secure cache Implementation -- Verifying Code...”
Hämta fulltext

Elektronisk E-bok

9

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

Publicerad 2007

Innehållsförteckning: “... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”
Hämta fulltext

Elektronisk E-bok

10

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

Publicerad 2011

Ämnen: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Hämta fulltext

Elektronisk E-bok

11

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

Publicerad 2013

Innehållsförteckning: “... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”
Hämta fulltext

Elektronisk E-bok

12

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

Publicerad 2010

Innehållsförteckning: “... for Programs with Quantified First-Order Logic Specifications -- Efficient Distributed Test Architectures...”
Hämta fulltext

Elektronisk E-bok

13

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

Publicerad 2012

Innehållsförteckning: “...-In-Time Compiler for Haskell -- Lazy Generation of Canonical Test Programs -- Generic Monadic Constructs...”
Hämta fulltext

Elektronisk E-bok

14

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

Publicerad 2007

Innehållsförteckning: “...Invited Papers -- Actions, Causation and Logic Programming -- Challenges to Machine Learning...”
Hämta fulltext

Elektronisk E-bok

15

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

Publicerad 2008

Innehållsförteckning: “...Graph Parser Combinators -- Testing Erlang Refactorings with QuickCheck -- Optimal Lambda Lifting...”
Hämta fulltext

Elektronisk E-bok

16

Sudoku Programming with C

av Zambon, Giulio., Zambon, Giulio.
Publicerad 2015

Ämnen: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
Hämta fulltext

Elektronisk E-bok

17

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

Publicerad 2014

Ämnen: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
Hämta fulltext

Elektronisk E-bok

18

Python Programming Fundamentals

av Lee, Kent D., Lee, Kent D.
Publicerad 2011

Innehållsförteckning: “...-driven Programming -- Defining Classes....”
Hämta fulltext

Elektronisk E-bok

19

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

Publicerad 2014

Innehållsförteckning: “...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”
Hämta fulltext

Elektronisk E-bok

20

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

Publicerad 2005

Innehållsförteckning: “... with Aggregates -- A DLP System with Object-Oriented Features -- Testing Strong Equivalence of Datalog Programs...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen