Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
program papers » program pages, program planners, progress papers
papers program » paper program, mars program, papers prom
program code » program model, program models, program c
code java » core java, lore java, code jam
https » http
program papers » program pages, program planners, progress papers
papers program » paper program, mars program, papers prom
program code » program model, program models, program c
code java » core java, lore java, code jam
https » http
1
Udgivet 2008
Indholdsfortegnelse:
“... of the Java Virtual Machine Using Dependent Types -- Dependently Sorted Logic -- Finiteness in a Minimalist...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2014
Indholdsfortegnelse:
“... Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley -- Heuristic Search Over...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2006
Indholdsfortegnelse:
“...Frontier Technologies -- Prolog Cafe: A Prolog to Java Translator System -- TURTLE++ – A CIP...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2015
Indholdsfortegnelse:
“...Invited Talks -- Obscuring Code: Unveiling and Veiling Information in Programs -- Synthesizing...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2008
Indholdsfortegnelse:
“... for Non-Block-Structured Lock Primitives and Mutable References -- Reasoning about Java’s Reentrant Locks...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2012
Indholdsfortegnelse:
“... Programming -- Concurrent Test Generation Using Concolic Multi-trace Analysis -- Java Bytecode Instrumentation...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2006
Indholdsfortegnelse:
“...Separating Concerns with Domain Specific Languages -- Event-Based Programming Without Inversion...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2010
Indholdsfortegnelse:
“...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2013
Indholdsfortegnelse:
“... -- This Java: An Extension of Java with Exact Types -- Semantics of Probabilistic Programs: A Weak Limit...”Få fuldtekst
Electronisk
eBog
10
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Udgivet 2013
Indholdsfortegnelse:
“...Distributed Electronic Rights in JavaScript -- The Compiler Forest -- Pretty-Big-Step Semantics...”Få fuldtekst
Electronisk
eBog
11
Udgivet 2013
Indholdsfortegnelse:
“... on Attribute Grammars into Java -- Sensitivity Analysis for Declarative Relational Query Languages with Ordinal...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2005
Indholdsfortegnelse:
“...-Faithful Non-interference Calculus for Java -- A Java Package for Transparent Code Mobility -- Keynote...”Få fuldtekst
Electronisk
eBog
13
Fag:
“...Web Development. https://scigraph.springernature.com/ontologies/product-market-codes/I29050...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
14
Udgivet 2013
Indholdsfortegnelse:
“... in Parallel Programming.- Aliasing Visions: Ownership and Location.- Alias Analysis: Beyond the Code.- How...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2008
Indholdsfortegnelse:
“... -- On Validity of Program Transformations in the Java Memory Model -- Safe Cross-Language Inheritance -- Session...”Få fuldtekst
Electronisk
eBog
16
Udgivet 2014
Indholdsfortegnelse:
“... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2013
Indholdsfortegnelse:
“... for the Java Virtual Machine -- Averroes: Whole-Program Analysis without the Whole Program -- QUIC Graphs...”Få fuldtekst
Electronisk
eBog
18
Udgivet 2012
Indholdsfortegnelse:
“... to Design, Simulate and Deploy Robotic Applications -- A Java vs. C++ Performance Evaluation: A 3D Modeling...”Få fuldtekst
Electronisk
eBog
19
Udgivet 2005
Indholdsfortegnelse:
“... Programming -- The Emergent Structure of Development Tasks -- Java -- Loosely-Separated “Sister” Namespaces...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2008
Indholdsfortegnelse:
“... Parallelization -- Static Nonconcurrency Analysis of OpenMP Programs -- CCRG OpenMP Compiler: Experiments...”Få fuldtekst
Electronisk
eBog