Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
programming functionality » programming functional, programming functionals, program functionality
functionality combining » functions combining, function combining, functionality domain
function programming » functional programming, action programming, foundations programming
parallel function » parallel functional, parallel auction, parallel union
combining https » computing https, combining hst, combining bottom
programming functionality » programming functional, programming functionals, program functionality
functionality combining » functions combining, function combining, functionality domain
function programming » functional programming, action programming, foundations programming
parallel function » parallel functional, parallel auction, parallel union
combining https » computing https, combining hst, combining bottom
1
Publicat 2010
Taula de continguts:
“... Checking -- Tag-Free Combinators for Binding-Time Polymorphic Program Generation -- Code Generation via...”Obtenir text complet
Electrònic
eBook
2
Publicat 2006
Taula de continguts:
“...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”Obtenir text complet
Electrònic
eBook
3
Publicat 2013
Taula de continguts:
“... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”Obtenir text complet
Electrònic
eBook
4
Publicat 2005
Taula de continguts:
“...-Oriented Languages -- A Functional Shell That Dynamically Combines Compiled Code -- Polymorphic Type...”Obtenir text complet
Electrònic
eBook
5
Publicat 2008
Taula de continguts:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”Obtenir text complet
Electrònic
eBook
6
Publicat 2006
Taula de continguts:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”Obtenir text complet
Electrònic
eBook
7
Publicat 2010
Taula de continguts:
“... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”Obtenir text complet
Electrònic
eBook
8
Publicat 2005
Taula de continguts:
“... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”Obtenir text complet
Electrònic
eBook
9
Publicat 2015
Taula de continguts:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”Obtenir text complet
Electrònic
eBook
10
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
11
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Publicat 2015
Taula de continguts:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”Obtenir text complet
Electrònic
eBook
12
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Publicat 2006
Taula de continguts:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”Obtenir text complet
Electrònic
eBook
13
Publicat 2013
Taula de continguts:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”Obtenir text complet
Electrònic
eBook
14
Publicat 2008
Taula de continguts:
“... Functional Programs -- Denotation by Transformation -- Constraint Solving and Analysis -- Generation of Rule...”Obtenir text complet
Electrònic
eBook
15
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Publicat 2013
Taula de continguts:
“... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”Obtenir text complet
Electrònic
eBook
16
Publicat 2013
Taula de continguts:
“... -- Constraint-Based Program Reasoning with Heaps and Separation -- Model Combinators for Hybrid Optimization...”Obtenir text complet
Electrònic
eBook
17
Publicat 2008
Taula de continguts:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”Obtenir text complet
Electrònic
eBook
18
Taula de continguts:
“...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
19
Publicat 2010
Taula de continguts:
“...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...”Obtenir text complet
Electrònic
eBook
20
Taula de continguts:
“... Language -- SPIL: Simple Parallel, Imperative Language -- Closing -- Closing....”
Obtenir text complet
Obtenir text complet
Electrònic
eBook