Electronic Notes in Theoretical Computer Science, Volume 279

Volume 279, Number 1, December 2011

• Pierre Ganty, Mark Marron:
  Preface. 1
  
• 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

• Barbora Buhnova, Jens Happe:
  Preface. 1-2
  
• 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
  
• Erik Burger, Ralf Reussner:
  Performance Certification of Software Components. 33-41
  
• 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

• Zoltán Porkoláb, Norbert Pataki:
  Preface. 1-2
  
• 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
  
• Zalán Szügyi, Norbert Pataki:
  Generative Version of the FastFlow Multicore Library. 73-84
  
• Viktória Zsók, Pieter W. M. Koopman, Rinus Plasmeijer:
  Generic Executable Semantics for D-Clean. 85-95
  

Last update Tue May 21 13:49:14 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page