Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs compiling » programs combining, programs compiler, programs containing
function execution » function ejection, function evolution, function detection
compiling https » computing https, counseling https, consulting https
execution https » exertion https, execution status, execution actors
https function » its function, sites function, ups function
programs compiling » programs combining, programs compiler, programs containing
function execution » function ejection, function evolution, function detection
compiling https » computing https, counseling https, consulting https
execution https » exertion https, execution status, execution actors
https function » its function, sites function, ups function
1
Published 2010
Table of Contents:
“...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... Multiplication with a Classifier Learning System -- A Language for the Compact Representation of Multiple Program...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“... Deconstruction of Landin’s J Operator -- A Dependently Typed Framework for Static Analysis of Program Execution...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”View full text
Electronic
eBook
5
Table of Contents:
“... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
View full text
View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...”View full text
Electronic
eBook
7
Table of Contents:
“...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...”
View full text
View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... Composition of Melodic and Harmonic Music by Answer Set Programming -- On the Efficient Execution of ProbLog...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... Circumscription to Disjunctive Logic Programming -- Representation and Execution of a Graph Grammar in Prolog...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”View full text
Electronic
eBook
12
Published 2012
Table of Contents:
“... -- An Executable Semantics for CompCert C -- Producing Certified Functional Code from Inductive Specifications...”View full text
Electronic
eBook
13
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Published 2015
Table of Contents:
“... for Type-Unsafe Operations Detection -- Running Probabilistic Programs Backwards -- A Verified Compiler...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...”View full text
Electronic
eBook
15
Published 2015
Table of Contents:
“... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”View full text
Electronic
eBook
16
Table of Contents:
“...Algorithms and Programs -- An Algorithmic Language -- The ?-Calculus -- The se(m)cd Machine...”
View full text
View full text
Electronic
eBook
17
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
18
Table of Contents:
“... -- Applications with Strings and Text -- Pointers -- Structuring Your Programs -- More on Functions -- Essential...”
View full text
View full text
Electronic
eBook
19
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”View full text
Electronic
eBook