1
Published 2013
Table of Contents: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... with the TSP -- The Role of Syntactic and Semantic Locality of Crossover in Genetic Programming -- The Layered...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...
View full text
Electronic eBook
6
Published 2014
Table of Contents: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
View full text
Electronic eBook
7
Published 2013
Table of Contents: ... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ... Their Roles in Object Oriented Programming....
View full text
Electronic eBook
10
Table of Contents: ...How to Obtain, Install, and Use F# -- Functional Programming -- Imperative Programming -- Object...
View full text
Electronic eBook
11
Published 2015
Table of Contents: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ...-functional Requirements -- Coordination Systems in Role-Based Adaptive Software -- Coordination...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... Computations for Finding Universal Denominators -- A Role of Symbolic Computations in Beam Physics -- Thomas...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...
View full text
Electronic eBook
16
Published 2014
Subjects: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... and the Role of Medical Informatics in Stomatology -- Stability Analysis of an SVLI Epidemic Model -- A New...
View full text
Electronic eBook
18
Published 2015
Table of Contents: ... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...
View full text
Electronic eBook
19
Published 2005
Table of Contents: ... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...
View full text
Electronic eBook
20
Published 2005
Table of Contents: ... Configuration for QoS in Reliable Parallel Servers -- Session 2A: Practical Experience Reports and Tools I...
View full text
Electronic eBook