Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function computing » education computing, generation computing
program execution » program evaluation, process execution, project execution
execution https » exertion https, execution status, execution actors
https function » its function, sites function, ups function
function computing » education computing, generation computing
program execution » program evaluation, process execution, project execution
execution https » exertion https, execution status, execution actors
https function » its function, sites function, ups function
1
Published 2006
Table of Contents:
“... Deconstruction of Landin’s J Operator -- A Dependently Typed Framework for Static Analysis of Program Execution...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”View full text
Electronic
eBook
3
Table of Contents:
“... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
View full text
View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...”View full text
Electronic
eBook
5
Table of Contents:
“...Algorithms and Programs -- An Algorithmic Language -- The ?-Calculus -- The se(m)cd Machine...”
View full text
View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
7
Table of Contents:
“...Fundamental Analysis -- Basic Concepts of Linear Genetic Programming -- Characteristics...”
View full text
View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”View full text
Electronic
eBook
11
Table of Contents:
“...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...”
View full text
View full text
Electronic
eBook
12
Published 2012
Table of Contents:
“... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...”View full text
Electronic
eBook
13
Table of Contents:
“... for Autonomic Computing -- Autonomic Computing Architectures -- The Monitoring Function -- The Adaptation...”
View full text
View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... Programs -- Abstract Analysis of Symbolic Executions -- Session 10. Compositional Reasoning -- Automated...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”View full text
Electronic
eBook
18
Table of Contents:
“... -- Some Important Functions -- Formatted Print Functions -- Using Files -- User-Defined Functions...”
View full text
View full text
Electronic
eBook
19
Published 2015
Table of Contents:
“... Unknowns -- The SeaHorn Verification Framework -- Automatic Rootcausing for Program Equivalence Failures...”View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“... Computing Inspired Approach for Executing Scientific Workflow in the Cloud -- P Systems with Anti-Matter...”View full text
Electronic
eBook