Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functions computation » function computation, functions composition, function composition
programming semantics » programming mathematics, programming series, programming secrets
programming recursion » programming decision, programming session, programming decisions
arrays a » arrays _
functions computation » function computation, functions composition, function composition
programming semantics » programming mathematics, programming series, programming secrets
programming recursion » programming decision, programming session, programming decisions
arrays a » arrays _
1
Published 2006
Table of Contents:
“... Abstraction of Recursive Programs -- Relative Safety -- Resource Usage Analysis for the ?-Calculus -- Semantic...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”View full text
Electronic
eBook
3
Published 2015
Table of Contents:
“... Systems -- Verifying Concurrent Programs by Memory Unwinding -- AutoProof: Auto-Active Functional...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... -- Semantic Approach for Service Oriented Requirements Modeling -- Automatic Reasoning -- Extend Atomic Action...”View full text
Electronic
eBook