Journal: Electronic Notes in Theoretical Computer Science

Volume 264, Issue 5

1 -- 2Zoltán Porkoláb, Norbert Pataki. Preface
3 -- 21Thomas Gazagnaire, Anil Madhavapeddy. Dynamics for ML using Meta-Programming
23 -- 45Balázs Dezso, Alpár Jüttner, Péter Kovács. LEMON - an Open Source C++ Graph Template Library
47 -- 69Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra. Visitor-based Attribute Grammars with Side Effect
71 -- 83Norbert Pataki, Zalán Szügyi, Gergely Dévai. Measuring the Overhead of C++ Standard Template Library Safe Variants
85 -- 101Ábel Sinkovics. Functional Extensions to the Boost Metaprogram Library
103 -- 121Naveneetha Vasudevan, Laurence Tratt. Comparative Study of DSL Tools

Volume 264, Issue 4

1 -- 2David Pichardie. Preface
3 -- 18Jaroslav Bauml, Premek Brada. Reconstruction of Type Information from Java Bytecode for Component Compatibility
19 -- 34Jacek Chrzaszcz, Patryk Czarnik, Aleksy Schubert. A Dozen Instructions Make Java Bytecode
35 -- 50Michael Eichberg, Andreas Sewe. Encoding the Java Virtual Machine s Instruction Set
51 -- 57Jevgeni Kabanov. JRebel Tool Demo
59 -- 73Philippe Wang, Adrien Jonquet, Emmanuel Chailloux. Non-Intrusive Structural Coverage for Objective Caml

Volume 264, Issue 3

1 -- 0Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko. Preface
3 -- 17Benjamin Blanc, Christophe Junke, Bruno Marre, Pascale Le Gall, Olivier Andrieu. Handling State-Machines Specifications with GATeL
19 -- 35Winfried Dulz, Stefan Holpp, Reinhard German. A Polyhedron Approach to Calculate Probability Distributions for Markov Chain Usage Models
37 -- 52Malte Lochau, Ursula Goltz. Feature Interaction Aware Test Case Generation for Embedded Control Systems
53 -- 68Petur Olsen, Kim G. Larsen, Arne Skou. Present and Absent Sets: Abstraction for Testing of Reactive Systems with Databases
69 -- 84Olaf Owe, Martin Steffen, Arild B. Torjusen. Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting
85 -- 99Jan Tretmans, Florian Prester, Philipp Helle, Wladimir Schamai. Model-Based Testing 2010: Short Abstracts

Volume 264, Issue 2

1 -- 2Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva. Preface
3 -- 23Jirí Adámek, Stefan Milius, Jiri Velebil. Recursive Program Schemes and Context-Free Monads
25 -- 45Kazuyuki Asada, Ichiro Hasuo. Categorifying Computations into Components via Arrows as Profunctors
47 -- 62Adriana Balan, Alexander Kurz. On Coalgebras over Algebras
63 -- 81Vincenzo Ciancia, Alexander Kurz, Ugo Montanari. Families of Symmetries as Efficient Models of Resource Binding
83 -- 103Corina Cîrstea. Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics
105 -- 123Michael Hauhs, Baltasar Trancón-y-Widemann. Applications of Algebra and Coalgebra in Scientific Modelling: Illustrated with the Logistic Map
125 -- 140Bart Jacobs. From Coalgebraic to Monoidal Traces
141 -- 154Jiho Kim. Higher-order Algebras and Coalgebras from Parameterized Endofunctors
155 -- 175Bartek Klin. Structural Operational Semantics and Modal Logic, Revisited
177 -- 197Jan Komenda. Coinduction in Concurrent Timed Systems

Volume 264, Issue 1

1 -- 2Jens Happe, Barbora Buhnova. Preface
3 -- 17Franz Brosch, Ralf Gitzel, Heiko Koziolek, Simone Krug. Combining Architecture-based Software Reliability Predictions with Financial Impact Calculations
19 -- 34Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel. Semi-Automatic Specification of Behavioural Service Adaptation Contracts
35 -- 53Ludovic Henrio, Muhammad Uzair Khan. Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL
55 -- 71Kamil Jezek, Premek Brada, Petr Stepan. Towards Context Independent Extra-functional Properties Descriptor for Components
73 -- 90Lucia Kapová, Steffen Becker. Systematic Refinement of Performance Models for Concurrent Component-based Systems
91 -- 105Ioan Lazar, Simona Motogna, Bazil Pårv. Behaviour-Driven Development of Foundational UML Components
107 -- 123Matias Lee, Pedro R. D Argenio. Describing Secure Interfaces with Interface Automata
125 -- 139Philip Mayer, Andreas Schroeder, Sebastian S. Bauer. A Strict-Observational Interface Theory for Analysing Service Orchestrations