1
Published 2008
Table of Contents: ... -- On Validity of Program Transformations in the Java Memory Model -- Safe Cross-Language Inheritance -- Session...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... Programming -- The Emergent Structure of Development Tasks -- Java -- Loosely-Separated “Sister” Namespaces...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... Source Code Queries with Datalog -- Efficient Object Querying for Java -- Automatic Prefetching...
View full text
Electronic eBook
4
by Fischer, Robert., Fischer, Robert.
Published 2015
Subjects: ...Java (Computer program language)....
View full text
Electronic eBook
5
Published 2010
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
6
Published 2011
Table of Contents: ...FINCH: A System for Evolving Java (Bytecode) -- Towards Practical Autoconstructive Evolution: Self...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... Evolution -- Program Reasoning -- Formal Techniques for Java-Like Programs -- Program Analysis for Security...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ... for Java-Like Programs -- Roles and Relationships in Object-Oriented Programming, Multiagent Systems...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ...Object Orientation and Web Services -- Practical Problems of Programming in the Large (PPPL) -- 8th...
View full text
Electronic eBook
10
Published 2014
Table of Contents: ...Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...
View full text
Electronic eBook
12
Published 2007
Table of Contents: ... Development -- Evolution and Agents -- EQ-Mine: Predicting Short-Term Defects for Software Evolution...
View full text
Electronic eBook
13
Published 2012
Table of Contents: ... Theory to Performance -- Dynamic Aspect-Oriented Programming in Java: The HotWave Experience...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... Applications -- The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ... Object Replication for Building a Dependable Version Control System -- Recovery Mechanisms for Semantic...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ... Developing a Dynamic OCL Constraint Enforcement Tool for Java -- OCL and Graph-Transformations – A Symbiotic...
View full text
Electronic eBook
17
Published 2006
Table of Contents: ...-Based Domain Architecture for Model Driven Security -- MDA-Based Re-engineering with Object-Z -- A Model...
View full text
Electronic eBook
18
Published 2005
Table of Contents: ... Programs -- The Use of Traces for Inlining in Java Programs -- A Practical MHP Information Analysis...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... of Agile Releases -- A Method to Measure Productivity Trends during Software Evolution -- Design Pattern...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ...Keynote I -- The Objects and Arrows of Computational Design -- Algebraic Models for Bidirectional...
View full text
Electronic eBook