1
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
2
Table of Contents: ...Fundamental Analysis -- Basic Concepts of Linear Genetic Programming -- Characteristics...
View full text
Electronic eBook
3
by Lee, Kent D., Lee, Kent D.
Published 2014
Table of Contents: ...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...
View full text
Electronic eBook
4
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
5
Published 2010
Table of Contents: ..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...
View full text
Electronic eBook
6
7
Published 2007
Table of Contents: ... Adaptation of Aspect-Oriented Components -- Component Based Game Development – A Solution to Escalating Costs...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... -- Boom: Taking Boolean Program Model Checking One Step Further -- The OpenSMT Solver -- Stranger...
View full text
Electronic eBook
9
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
10
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... -- Designing Execution Control in Programs with Global Application States Monitoring -- Distributed MIND – A...
View full text
Electronic eBook
12
by Lover, Robert., Lover, Robert.
Published 2008
Table of Contents: ... with Multiple Connectives -- Tracing Program Execution -- Logical Truth -- Truth Functional Forms -- Truth...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... Transaction Service Configurations -- Alice: Modularization of Middleware Using Aspect-Oriented Programming...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ... -- Analyzing Stripped Device-Driver Executables -- Model Checking-Based Genetic Programming with an Application...
View full text
Electronic eBook
15
Subjects: ...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
16
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
View full text
Electronic eBook
18
Table of Contents: ...Getting Started with F# and .NET -- Introducing Functional Programming -- Introducing Imperative...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ... of Sparse LU Factorization and Triangular Solution on Multicore Platforms -- A Parallel Matrix Scaling...
View full text
Electronic eBook
20
Published 2006
Table of Contents: ...Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code -- Quality...
View full text
Electronic eBook