1
by Hunt, John., Hunt, John.
Published 2014
Table of Contents: ... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... for CHR -- Overlapping Rules and Logic Variables in Functional Logic Programs -- Towards “Propagation...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... Existential Variables from Constraint Logic Programs -- Negative Ternary Set-Sharing -- Termination...
View full text
Electronic eBook
5
by Lopez, Cesar., Lopez, Cesar.
Published 2014
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... Encodings and Dependent Types -- Functional and Logic Programming -- Programming in JoCaml (Tool...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... Constraints Using Functional Dependencies -- Relaxations for Compiled Over-Constrained Problems -- Approximate...
View full text
Electronic eBook
8
Published 2015
Table of Contents: ... for Type-Unsafe Operations Detection -- Running Probabilistic Programs Backwards -- A Verified Compiler...
View full text
Electronic eBook
9
by Johnson, Chris., Johnson, Chris.
Published 2010
Table of Contents: ... -- Command-Line Parsing and Expansion -- Parameters and Variables -- Shell Functions -- String Manipulation...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... Based on Extremal Functions -- Exponential Propagation for Set Variables -- Applications Track...
View full text
Electronic eBook
11
Published 2013
Table of Contents: ... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...
View full text
Electronic eBook
12
by Olsson, Mikael., Olsson, Mikael.
Published 2015
Table of Contents: ...1. Hello World -- 2. Compile and Run -- 3. Variables -- 4. Operators -- 5. Pointers -- 6...
View full text
Electronic eBook
13
Table of Contents: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
View full text
Electronic eBook
14
Table of Contents: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
View full text
Electronic eBook
15
Table of Contents: ... Manipulation, Functions -- R and its Documentation -- Drawing Curves and Plots -- Programming in R -- Managing...
View full text
Electronic eBook
16
by Kluge, Werner., Kluge, Werner.
Published 2005
Table of Contents: ...Algorithms and Programs -- An Algorithmic Language -- The ?-Calculus -- The se(m)cd Machine...
View full text
Electronic eBook
17
by Seibel, Peter., Seibel, Peter.
Published 2005
Table of Contents: ... Database -- Syntax and Semantics -- Functions -- Variables -- Macros: Standard Control Constructs -- Macros...
View full text
Electronic eBook
18
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
19
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
20
by Lopez, Cesar., Lopez, Cesar.
Published 2014
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook