Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
composition programs » compensation programs, composition problem, compression programs
https composition » hops composition, states composition, status composition
program java » program jarak, program a, program jom
composition programs » compensation programs, composition problem, compression programs
https composition » hops composition, states composition, status composition
program java » program jarak, program a, program jom
1
Table of Contents:
“...The Java Story -- Compiling and Running Java Programs -- Data Types, Arithmetic and Arrays...”
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 2005
Table of Contents:
“...Dynamic Languages -- On the Revival of Dynamic Languages -- Component Composition -- Composition...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”View full text
Electronic
eBook
6
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“... — Where Programs Meet Provers -- Compositional Invariant Checking for Overlaid and Nested Linked Lists...”View full text
Electronic
eBook
7
Table of Contents:
“...Object-Oriented JavaScript -- Expressive JavaScript -- Interfaces -- Encapsulation and Information...”
View full text
View full text
Electronic
eBook
8
Published 2013
Table of Contents:
“... -- Feature-Oriented Programming with Object Algebras -- Composition and Reuse with Compiled Domain-Specific...”View full text
Electronic
eBook
9
Published 2014
Table of Contents:
“... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...”View full text
Electronic
eBook
10
Published 2011
Table of Contents:
“...FINCH: A System for Evolving Java (Bytecode) -- Towards Practical Autoconstructive Evolution: Self...”View full text
Electronic
eBook
11
Table of Contents:
“...! Bookmark not defined -- Error! Bookmark not defined.-Creating Composition Components Error! Bookmark...”
View full text
View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“...Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... for Program Design and Synthesis -- A Method for Verifiable and Validatable Business Process Modeling -- SOA...”View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“... Applications Using Messaging Protocols -- EJBMemProf – A Memory Profiling Framework for Enterprise Java...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... Development—Why Current Requirements Engineering Is Flawed ! -- Compositional and Quantitative Model Checking...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... of Nondeterministic Programs -- Verification Architectures: Compositional Reasoning for Real-Time Systems -- Automatic...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... Programming -- An Algebra for Features and Feature Composition -- Petri Nets Are Dioids -- Towards...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... Reasoning About Non-atomic Java Card Methods in Dynamic Logic -- Programming Languages -- Formal...”View full text
Electronic
eBook
20
Published 2012
Table of Contents:
“... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”View full text
Electronic
eBook