Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
integrals computer » integrate computer, integrated computer, integrals chapter
programs compiling » programs combining, programs compiler, programs containing
computer programs » computer program
programs programs » programs program, program program, problems programs
integrals computer » integrate computer, integrated computer, integrals chapter
programs compiling » programs combining, programs compiler, programs containing
computer programs » computer program
programs programs » programs program, program program, problems programs
1
Udgivet 2007
Indholdsfortegnelse:
“...Keynote I -- Compilation Techniques for Partitioned Global Address Space Languages -- Session 1...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2006
Indholdsfortegnelse:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”Få fuldtekst
Electronisk
eBog
3
Indholdsfortegnelse:
“... Calculator Compiler -- Appendix E: The Factorial Program's Code -- Appendix F: Small Action Semantic...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
4
Fag:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
5
Udgivet 2013
Indholdsfortegnelse:
“...Programming with People: Integrating Human-Based and Digital -- Optimal Register Allocation...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2008
Indholdsfortegnelse:
“... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2007
Indholdsfortegnelse:
“... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2006
Indholdsfortegnelse:
“... by Action Languages Via Answer Set Programming -- Using Answer Set Programming for the Automatic Compilation...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2005
Indholdsfortegnelse:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”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
Fag:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
12
Udgivet 2013
Indholdsfortegnelse:
“... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2005
Indholdsfortegnelse:
“... -- Generating Path Conditions for Timed Systems -- Software Model Checking: Searching for Computations...”Få fuldtekst
Electronisk
eBog
14
Udgivet 2007
Indholdsfortegnelse:
“... Development Process for Reasoning About the Reliability of Real-Time Systems -- Decomposing Integrated...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2007
Indholdsfortegnelse:
“... Pattern Matching -- Persistent Oberon: A Programming Language with Integrated Persistence -- More Typed...”Få fuldtekst
Electronisk
eBog
16
Udgivet 2005
Indholdsfortegnelse:
“...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2006
Indholdsfortegnelse:
“... Program Analysis and Accurate Data Types in Usage Analysis -- Session 5 -- A Modal Language for the Safety...”Få fuldtekst
Electronisk
eBog
18
Udgivet 2008
Indholdsfortegnelse:
“... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...”Få fuldtekst
Electronisk
eBog
19
Fag:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
20
Udgivet 2005
Indholdsfortegnelse:
“... Programming with Branch and Price -- A Search-Infer-and-Relax Framework for Integrating Solution Methods...”Få fuldtekst
Electronisk
eBog