Electronic Notes in Theoretical Computer Science, Volume 279
Volume 279, Number 1, December 2011
- Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim: Handling Non-linear Operations in the Value Analysis of COSTA. 3-17
- Damon Fenacci, Kenneth MacKenzie: Static Resource Analysis for Java Bytecode Using Amortisation and Separation Logic. 19-32
- Jiin Park, Jinhyung Park, Wonjoon Song, Songwook Yoon, Bernd Burgstaller, Bernhard Scholz: Treegraph-based Instruction Scheduling for Stack-based Virtual Machines. 33-45
- David J. Pearce, James Noble: Implementing a Language with Flow-Sensitive and Structural Typing on the JVM. 47-59
- Aibek Sarimbekov, Philippe Moret, Walter Binder, Andreas Sewe, Mira Mezini: Complete and Platform-Independent Calling Context Profiling for the Java Virtual Machine. 61-74
Volume 279, Number 2, December 2011
- Galina Besova, Heike Wehrheim, Annika Wagner: Reputation-based Reliability Prediction of Service Compositions. 3-16
- Premek Brada: Enhanced Type-based Component Compatibility Using Deployment Context Information. 17-31
- Arnaud Lanoix, Julien Dormoy, Olga Kouchnarenko: Combining Proof and Model-checking to Validate Reconfigurable Architectures. 43-57
- Jaroslav Snajberk, Premek Brada: ENT: A Generic Meta-Model for the Description of Component-Based Applications. 59-73
Volume 279, Number 3, December 2011
- Nuno Amálio, Christian Glodt, Frederico Pinto, Pierre Kelsen: Platform-Variant Applications from Platform-Independent Models via Templates. 3-25
- Ábel Sinkovics: Nested Lambda Expressions with Let Expressions in C++ Template Metaprograms. 27-40
- Viliam Slodicák, Pavol Macko: Some New Approaches in Functional Programming Using Algebras and Coalgebras. 41-62
- Zalán Szügyi, Márk Török, Norbert Pataki: Multicore C++ Standard Template Library in a Generative Way. 63-72
- Viktória Zsók, Pieter W. M. Koopman, Rinus Plasmeijer: Generic Executable Semantics for D-Clean. 85-95
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team