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