Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program abstractions » programs abstraction, program abstracts, programming abstractions
abstractions https » abstractions type, interactions https, extraction https
function function » function functional, functions functional, function dysfunction
https function » its function, sites function, ups function
function https » functions https, fiction https
program abstractions » programs abstraction, program abstracts, programming abstractions
abstractions https » abstractions type, interactions https, extraction https
function function » function functional, functions functional, function dysfunction
https function » its function, sites function, ups function
function https » functions https, fiction https
1
Published 2010
Table of Contents:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... Framework for the Declarative Debugging of Functional Logic Programs with Lambda Abstractions....”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... of Lazy Functional Programs with Sparkle -- An Introduction to the Lambda Calculus -- Abstract ?-Calculus...”View full text
Electronic
eBook
5
Table of Contents:
“... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
View full text
View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... Order -- Renormalization of Interacting Diffusions: A Program and Four Examples -- Reduced Mihlin...”View full text
Electronic
eBook
7
Table of Contents:
“...-Machine -- The G-Machine -- The ?-red Machinery -- Pattern Matching -- Another Functional Abstract Machine...”
View full text
View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“...Full Papers -- Verifying the Incorrectness of Programs and Automata -- Generating Admissible...”View full text
Electronic
eBook
9
Published 2011
Subjects:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... into Boolean Functions -- Efficient Strongly Relational Polyhedral Analysis -- Environment Abstraction...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“...Invited Paper -- Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian...”View full text
Electronic
eBook
12
Published 2013
Table of Contents:
“... Bodies (D. Hug, I. Turk, W. Weil) -- Operator Functional Equations in Analysis (H. Konig, V. Milmann...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...”View full text
Electronic
eBook
14
Published 2015
Table of Contents:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”View full text
Electronic
eBook
15
Table of Contents:
“...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...”
View full text
View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... of Simulated Snake-Like Robot -- Evolving Crossover Operators for Function Optimization -- Genetic Programming...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“...Plenary Talks -- A Grammatical Genetic Programming Approach to Modularity in Genetic Algorithms...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”View full text
Electronic
eBook
19
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Published 2014
Table of Contents:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“... in Sequential Programs -- Swapping Arguments and Results of Recursive Functions -- Refinement Algebra...”View full text
Electronic
eBook