Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
computing programming » computer programming, computers programming
programming program » programming programmed, programming problem, programming problems
semantic computing » scientific computing
program java » program jarak, program a, program jom
https » http
computing programming » computer programming, computers programming
programming program » programming programmed, programming problem, programming problems
semantic computing » scientific computing
program java » program jarak, program a, program jom
https » http
1
Table of Contents:
“... of Functional Languages -- General Features of Logic Programming Languages -- Operational Semantics of Prolog...”
View full text
View full text
Electronic
eBook
2
Table of Contents:
“... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...”
View full text
View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“...-Safe Linking of Components for Java-Like Languages -- Towards a Formal Semantics for AspectJ Weaving...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”View full text
Electronic
eBook
5
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Published 2010
Table of Contents:
“... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“... -- This Java: An Extension of Java with Exact Types -- Semantics of Probabilistic Programs: A Weak Limit...”View full text
Electronic
eBook
7
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Published 2007
Table of Contents:
“... Analysing Linear Inequality Relations -- Precise Fixpoint Computation Through Strategy Iteration -- Semantic...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... -- An Operational Semantics for JavaScript -- JavaScript Instrumentation in Practice....”View full text
Electronic
eBook
9
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“...Distributed Electronic Rights in JavaScript -- The Compiler Forest -- Pretty-Big-Step Semantics...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”View full text
Electronic
eBook
11
Published 2012
Table of Contents:
“... Programming -- Concurrent Test Generation Using Concolic Multi-trace Analysis -- Java Bytecode Instrumentation...”View full text
Electronic
eBook
12
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Published 2005
Table of Contents:
“... Add Reduction Rules and Close -- Towards a Type System for Analyzing JavaScript Programs -- Java JR...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... with Declarative Semantics -- Claim and Sympa: A Programming Environment for Intelligent and Mobile Agents -- Java...”View full text
Electronic
eBook
14
Subjects:
“...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...”
View full text
View full text
Electronic
eBook
15
16
Published 2006
Table of Contents:
“...Frontier Technologies -- Prolog Cafe: A Prolog to Java Translator System -- TURTLE++ – A CIP...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...”View full text
Electronic
eBook
18
Published 2014
Table of Contents:
“... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...”View full text
Electronic
eBook
19
Published 2013
Table of Contents:
“... Inference with Linear Programming -- A Formal Semantics for Isorecursive and Equirecursive State...”View full text
Electronic
eBook
20