1
Cyhoeddwyd 2008
Tabl Cynhwysion: ...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...
Cael y testun llawn
Electronig eLyfr
2
Cyhoeddwyd 2006
Tabl Cynhwysion: ... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...
Cael y testun llawn
Electronig eLyfr
3
Pynciau: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Cael y testun llawn
Electronig eLyfr
4
Cyhoeddwyd 2010
Tabl Cynhwysion: ...Invited Papers -- Programming with Multiple Paradigms in Lua -- Constraint Based Strategies...
Cael y testun llawn
Electronig eLyfr
5
Tabl Cynhwysion: ... Management -- Imperative and Object-Oriented Programs -- Functional Programs -- Logic Programs -- Parallel...
Cael y testun llawn
Electronig eLyfr
6
Cyhoeddwyd 2011
Pynciau: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Cael y testun llawn
Electronig eLyfr
7
Cyhoeddwyd 2012
Pynciau: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Cael y testun llawn
Electronig eLyfr
8
Cyhoeddwyd 2015
Tabl Cynhwysion: ...Functional Programming for Domain-Specific Languages -- DSL in C++ Template Metaprogram...
Cael y testun llawn
Electronig eLyfr
9
Cyhoeddwyd 2010
Tabl Cynhwysion: ... Machine Learning-Based Compiler -- Optimizing Local Memory Allocation and Assignment through a Decoupled...
Cael y testun llawn
Electronig eLyfr
10
Cyhoeddwyd 2006
Tabl Cynhwysion: ... of Utility Programs Based on Behavior Phase Analysis -- A Systematic Approach to Model-Guided Empirical...
Cael y testun llawn
Electronig eLyfr
11
Cyhoeddwyd 2007
Tabl Cynhwysion: ... Elimination – Making Index Vectors Affordable -- FunctionalBased Synthesis of a Systolic Array for GCD...
Cael y testun llawn
Electronig eLyfr
12
Cyhoeddwyd 2005
Tabl Cynhwysion: ... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...
Cael y testun llawn
Electronig eLyfr
13
Cyhoeddwyd 2012
Tabl Cynhwysion: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
Cael y testun llawn
Electronig eLyfr
14
Cyhoeddwyd 2011
Pynciau: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Cael y testun llawn
Electronig eLyfr
15
Cyhoeddwyd 2008
Tabl Cynhwysion: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
Cael y testun llawn
Electronig eLyfr
16
Cyhoeddwyd 2013
Tabl Cynhwysion: ... bytecodes -- The HERMIT in the Tree: Mechanizing Program Transformations in the GHC Core Language...
Cael y testun llawn
Electronig eLyfr
17
Cyhoeddwyd 2015
Tabl Cynhwysion: ...Semantics of Logic Languages -- Ecient compilation of functional logic programs -- Types...
Cael y testun llawn
Electronig eLyfr
18
Cyhoeddwyd 2015
Tabl Cynhwysion: ... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...
Cael y testun llawn
Electronig eLyfr
19
Cyhoeddwyd 2005
Tabl Cynhwysion: ... for Ranking Matches Between Components -- Extra-Functional System Properties of Components and Component-Based...
Cael y testun llawn
Electronig eLyfr
20
Pynciau: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Cael y testun llawn
Electronig eLyfr