Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program implementation » project implementation
implementation https » instrumentation https, implementation _
programs testing » programs using, progeny testing
testing program » writing program, training program, learning program
program implementation » project implementation
implementation https » instrumentation https, implementation _
programs testing » programs using, progeny testing
testing program » writing program, training program, learning program
1
Published 2008
Table of Contents:
“...Issues in Introductory Programming Courses -- to Part I Issues in Introductory Programming Courses...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“... in Prolog -- Static Memory Management for Logic Programming Languages -- Deductive Databases: Implementation...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... Analysis of Logic Programs -- Testing for Termination with Monotonicity Constraints -- A Well-Founded...”View full text
Electronic
eBook
5
Table of Contents:
“... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...”
View full text
View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... and Mosses’s Rewrite System Revisited -- Antichain-Based Universality and Inclusion Testing over...”View full text
Electronic
eBook
8
Published 2015
Table of Contents:
“... Suites -- Case Study: Automatic test case generation for a secure cache Implementation -- Verifying Code...”View full text
Electronic
eBook
9
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Published 2007
Table of Contents:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”View full text
Electronic
eBook
10
Published 2011
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... for Programs with Quantified First-Order Logic Specifications -- Efficient Distributed Test Architectures...”View full text
Electronic
eBook
13
Published 2012
Table of Contents:
“...-In-Time Compiler for Haskell -- Lazy Generation of Canonical Test Programs -- Generic Monadic Constructs...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“...Invited Papers -- Actions, Causation and Logic Programming -- Challenges to Machine Learning...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“...Graph Parser Combinators -- Testing Erlang Refactorings with QuickCheck -- Optimal Lambda Lifting...”View full text
Electronic
eBook
16
Subjects:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
View full text
View full text
Electronic
eBook
17
Published 2014
Subjects:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”View full text
Electronic
eBook
18
19
Published 2014
Table of Contents:
“...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“... with Aggregates -- A DLP System with Object-Oriented Features -- Testing Strong Equivalence of Datalog Programs...”View full text
Electronic
eBook