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