1
Published 2012
Table of Contents: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
View full text
Electronic eBook
2
Published 2014
Table of Contents: ...Introduction; Robert Trypuz -- PART I -- 1. "Krister Segerberg’s Philosophy of Action"; Richmond...
View full text
Electronic eBook
3
Subjects: ...Computer programming....
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
View full text
Electronic eBook
5
by Lee, Kent D., Lee, Kent D.
Published 2008
Table of Contents: ... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...
View full text
Electronic eBook
8
Published 2014
Table of Contents: ...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... in Sequential Programs -- Swapping Arguments and Results of Recursive Functions -- Refinement Algebra...
View full text
Electronic eBook
10
Published 2012
Table of Contents: ... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...
View full text
Electronic eBook
11
by Bramer, Max., Bramer, Max.
Published 2015
Table of Contents: ... -- Some Important Functions -- Formatted Print Functions -- Using Files -- User-Defined Functions...
View full text
Electronic eBook
12
Published 2013
Table of Contents: ... -- Accurate Computation of Sensitizable Paths using Answer Set Programming -- HEX Semantics via Approximation...
View full text
Electronic eBook
13
Table of Contents: ... -- Reusable Actions: Functions -- Functional Programming Tools in Python -- Further Reading -- Exercises...
View full text
Electronic eBook
14
Table of Contents: ...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ...Invited Papers -- Actions, Causation and Logic Programming -- Challenges to Machine Learning...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ...Tutorials and Invited Lectures -- Inter-deriving Semantic Artifacts for Object-Oriented Programming...
View full text
Electronic eBook
17
Subjects: ...Computer programming....
View full text
Electronic eBook
18
Subjects: ...Computer programming....
View full text
Electronic eBook
19
Published 2013
Table of Contents: ...-Physical Systems -- Embedding Functions into Disjunctive Logic Programs -- Reactive Designs of Interrupts...
View full text
Electronic eBook
20
Published 2012
Table of Contents: ... Algorithms of Computational -- Geometry Blending Functions for Hermite Interpolation by Beta-Function B...
View full text
Electronic eBook