1
Cyhoeddwyd 2006
Tabl Cynhwysion: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
Cael y testun llawn
Electronig eLyfr
2
gan Sharan, Kishori., Sharan, Kishori.
Cyhoeddwyd 2014
Pynciau: ...Java (Computer program language)....
Cael y testun llawn
Electronig eLyfr
3
Cyhoeddwyd 2013
Tabl Cynhwysion: ... bytecodes -- The HERMIT in the Tree: Mechanizing Program Transformations in the GHC Core Language...
Cael y testun llawn
Electronig eLyfr
4
Cyhoeddwyd 2005
Tabl Cynhwysion: ...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...
Cael y testun llawn
Electronig eLyfr
5
gan Fischer, Robert., Fischer, Robert.
Cyhoeddwyd 2015
Pynciau: ...Java (Computer program language)....
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: ... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...
Cael y testun llawn
Electronig eLyfr
8
Cyhoeddwyd 2013
Tabl Cynhwysion: ... Functional Statistics in Logic Programming -- Reversible Language Extensions and Their Application...
Cael y testun llawn
Electronig eLyfr
9
Cyhoeddwyd 2010
Tabl Cynhwysion: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Cael y testun llawn
Electronig eLyfr
10
Cyhoeddwyd 2014
Tabl Cynhwysion: ... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...
Cael y testun llawn
Electronig eLyfr
11
Tabl Cynhwysion: ... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...
Cael y testun llawn
Electronig eLyfr
12
Cyhoeddwyd 2013
Tabl Cynhwysion: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
Cael y testun llawn
Electronig eLyfr
13
Cyhoeddwyd 2005
Tabl Cynhwysion: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Cael y testun llawn
Electronig eLyfr
14
Cyhoeddwyd 2014
Tabl Cynhwysion: ...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...
Cael y testun llawn
Electronig eLyfr
15
Pynciau: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Cael y testun llawn
Electronig eLyfr
16
Tabl Cynhwysion: ... -- Java Interoperability -- Parallel Programming -- Macros and Metaprogramming -- Datatypes and Protocols...
Cael y testun llawn
Electronig eLyfr
17
Cyhoeddwyd 2015
Tabl Cynhwysion: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
Cael y testun llawn
Electronig eLyfr
18
Cyhoeddwyd 2008
Tabl Cynhwysion: ... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...
Cael y testun llawn
Electronig eLyfr
19
Cyhoeddwyd 2013
Tabl Cynhwysion: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
Cael y testun llawn
Electronig eLyfr
20
Cyhoeddwyd 2014
Tabl Cynhwysion: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Cael y testun llawn
Electronig eLyfr