1
Published 2006
Table of Contents: ... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... Systems -- Complexity Analysis by Rewriting -- Rewriting and Call-Time Choice: The HO Case -- Program...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... Machines -- Programming in ?mega -- A Tutorial on Object-Oriented Functional Programming -- Use Cases...
View full text
Electronic eBook
5
Table of Contents: ... -- Reusable Actions: Functions -- Functional Programming Tools in Python -- Further Reading -- Exercises...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...
View full text
Electronic eBook
7
Published 2013
Table of Contents: ... Functional Formalizations – A Type-Theoretical Case Study in PVS -- Functional Semantics -- Why Functional...
View full text
Electronic eBook
8
Table of Contents: ...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... and Evaluating Complexity of Textual Case Bases -- Learning Similarity Functions from Qualitative Feedback...
View full text
Electronic eBook
10
Subjects: ...Programming languages (Electronic computers)....
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
View full text
Electronic eBook
12
Published 2006
Table of Contents: ...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... Algebraic Specifications for Pointer Programs: A Case Study -- Modeling Permutations in Coq for Coccinelle....
View full text
Electronic eBook
15
Published 2014
Table of Contents: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
View full text
Electronic eBook
16
Subjects: ...Computational Biology/Bioinformatics. https://scigraph.springernature.com/ontologies/product-market...
View full text
Electronic eBook
17
Published 2006
Table of Contents: ... of Simulated Snake-Like Robot -- Evolving Crossover Operators for Function Optimization -- Genetic Programming...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ... -- Experiences with Functional Programming in an Introductory Curriculum -- Learning Programming with the PBL...
View full text
Electronic eBook
20
Published 2012
Table of Contents: ... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...
View full text
Electronic eBook