Pynciau a Argymhellir O fewn eich chwiliad
Pynciau a Argymhellir O fewn eich chwiliad
Chwilio eraill:
functionalities function » functionaries function, functionals function, functionalities citation
logics functionalities » basic functionalities, gps functionalities, biological functionalities
parallel programs » parallel programming
programs logics » program logics, programs logic, programs logical
function https » functions https, fiction https
functionalities function » functionaries function, functionals function, functionalities citation
logics functionalities » basic functionalities, gps functionalities, biological functionalities
parallel programs » parallel programming
programs logics » program logics, programs logic, programs logical
function https » functions https, fiction https
1
Cyhoeddwyd 2010
Tabl Cynhwysion:
“... -- Automatically Generating Counterexamples to Naive Free Theorems -- Applying Constraint Logic Programming to SQL...”Cael y testun llawn
Electronig
eLyfr
2
Cyhoeddwyd 2006
Tabl Cynhwysion:
“...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”Cael y testun llawn
Electronig
eLyfr
3
Cyhoeddwyd 2011
Pynciau:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”Cael y testun llawn
Electronig
eLyfr
4
Cyhoeddwyd 2015
Tabl Cynhwysion:
“... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”Cael y testun llawn
Electronig
eLyfr
5
Cyhoeddwyd 2012
Pynciau:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”Cael y testun llawn
Electronig
eLyfr
6
Cyhoeddwyd 2013
Tabl Cynhwysion:
“... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”Cael y testun llawn
Electronig
eLyfr
7
Cyhoeddwyd 2005
Tabl Cynhwysion:
“... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”Cael y testun llawn
Electronig
eLyfr
8
Cyhoeddwyd 2007
Tabl Cynhwysion:
“... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”Cael y testun llawn
Electronig
eLyfr
9
Cyhoeddwyd 2006
Tabl Cynhwysion:
“...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”Cael y testun llawn
Electronig
eLyfr
10
Cyhoeddwyd 2012
Tabl Cynhwysion:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”Cael y testun llawn
Electronig
eLyfr
11
Cyhoeddwyd 2013
Tabl Cynhwysion:
“...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”Cael y testun llawn
Electronig
eLyfr
12
Cyhoeddwyd 2008
Tabl Cynhwysion:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”Cael y testun llawn
Electronig
eLyfr
13
Cyhoeddwyd 2008
Tabl Cynhwysion:
“... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”Cael y testun llawn
Electronig
eLyfr
14
Cyhoeddwyd 2006
Tabl Cynhwysion:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Cael y testun llawn
Electronig
eLyfr
15
Cyhoeddwyd 2005
Tabl Cynhwysion:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Cael y testun llawn
Electronig
eLyfr
16
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Cyhoeddwyd 2006
Tabl Cynhwysion:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”Cael y testun llawn
Electronig
eLyfr
17
Cyhoeddwyd 2008
Tabl Cynhwysion:
“... -- Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs -- A Flexible, (C)LP...”Cael y testun llawn
Electronig
eLyfr
18
Cyhoeddwyd 2005
Tabl Cynhwysion:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Cael y testun llawn
Electronig
eLyfr
19
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Cyhoeddwyd 2013
Tabl Cynhwysion:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”Cael y testun llawn
Electronig
eLyfr
20
Cyhoeddwyd 2006
Tabl Cynhwysion:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”Cael y testun llawn
Electronig
eLyfr