1
Veröffentlicht 2006
Inhaltsangabe: ... Deconstruction of Landin’s J Operator -- A Dependently Typed Framework for Static Analysis of Program Execution...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2007
Inhaltsangabe: ... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...
Volltext
Elektronisch E-Book
3
von Hunt, John., Hunt, John.
Veröffentlicht 2014
Inhaltsangabe: ... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...
Volltext
Elektronisch E-Book
4
... Programming (ILP) and heuristic schemes have reduced the execution time up to 39.58% and 6.42% compared...
Volltext
Artikel
5
Veröffentlicht 2008
Inhaltsangabe: ... Composition of Melodic and Harmonic Music by Answer Set Programming -- On the Efficient Execution of ProbLog...
Volltext
Elektronisch E-Book
6
Veröffentlicht 2006
Inhaltsangabe: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Volltext
Elektronisch E-Book
7
Veröffentlicht 2007
Inhaltsangabe: ... Circumscription to Disjunctive Logic Programming -- Representation and Execution of a Graph Grammar in Prolog...
Volltext
Elektronisch E-Book
8
Veröffentlicht 2013
Inhaltsangabe: ... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...
Volltext
Elektronisch E-Book
9
Veröffentlicht 2013
Inhaltsangabe: ..., Boston, USA) Fetal hormonal programming of the brain: Implications for understanding sex differences...
Volltext
Elektronisch E-Book
10
Veröffentlicht 2005
Inhaltsangabe: ...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...
Volltext
Elektronisch E-Book
11
Veröffentlicht 2012
Inhaltsangabe: ... -- An Executable Semantics for CompCert C -- Producing Certified Functional Code from Inductive Specifications...
Volltext
Elektronisch E-Book
12
Veröffentlicht 2015
Inhaltsangabe: ... for Probability Density Functions -- Segment Abstraction for Worst-Case Execution Time Analysis -- Automatic...
Volltext
Elektronisch E-Book
13
Inhaltsangabe: ...Fundamental Analysis -- Basic Concepts of Linear Genetic Programming -- Characteristics...
Volltext
Elektronisch E-Book
14
von Lee, Kent D., Lee, Kent D.
Veröffentlicht 2014
Inhaltsangabe: ...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...
Volltext
Elektronisch E-Book
15
von Bramer, Max., Bramer, Max.
Veröffentlicht 2015
Inhaltsangabe: ... -- Some Important Functions -- Formatted Print Functions -- Using Files -- User-Defined Functions...
Volltext
Elektronisch E-Book
16
Veröffentlicht 2006
Inhaltsangabe: ... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...
Volltext
Elektronisch E-Book
17
Veröffentlicht 2015
Inhaltsangabe: ... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...
Volltext
Elektronisch E-Book
18
Veröffentlicht 2010
Inhaltsangabe: ..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...
Volltext
Elektronisch E-Book
19
Veröffentlicht 2008
Inhaltsangabe: ... -- Multi-modal Functional Test Execution -- Social Network Analysis of Communication in Open Source...
Volltext
Elektronisch E-Book
20
Inhaltsangabe: ...Building Blocks of IEC 61131-3 -- Variables, Data Types and Common Elements -- The Programming...
Volltext
Elektronisch E-Book