Science of Computer Programming, Volume 98

Volume 98, Part 1, February 2015

Fifth issue of Experimental Software and Toolkits (EST): A special issue on Academics Modelling with Eclipse (ACME2012)

• 
  Mark van den Brand, Davide Di Ruscio, Dimitrios S. Kolovos, Louis M. Rose:
  Guest editors' introduction to the fifth issue of Experimental Software and Toolkits (EST): A special issue on Academics Modelling with Eclipse (ACME2012). 1-2
• 
  Álvaro Jiménez, Juan M. Vara, Verónica Andrea Bollati, Esperanza Marcos:
  MeTAGeM-Trace: Improving trace generation in model transformation by leveraging the role of transformation models. 3-27
• 
  Vadim Zaytsev:
  Grammar Zoo: A corpus of experimental grammarware. 28-51
• 
  Nuno Amálio, Christian Glodt:
  A tool for visual and formal modelling of software designs. 52-79
• 
  Zoltán Ujhelyi, Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, Benedek Izsó, István Ráth, Zoltán Szatmári, Dániel Varró:
  EMF-IncQuery: An integrated development environment for live model queries. 80-99
• 
  Lukás Marek, Yudi Zheng, Danilo Ansaloni, Lubomír Bulej, Aibek Sarimbekov, Walter Binder, Petr Tuma:
  Introduction to dynamic program analysis with DiSL. 100-115

Volume 98, Part 2, February 2015

Special Issue on Programming Based on Actors, Agents and Decentralized Control

• 
  Alessandro Ricci, Gul A. Agha, Rafael H. Bordini, Assaf Marron:
  Special issue on programming based on actors, agents and decentralized control. 117-119
• 
  Howell R. Jordan, Goetz Botterweck, John Noll, Andrew Butterfield, Rem W. Collier:
  A feature model of actor, agent, functional, object, and procedural programming languages. 120-139
• 
  Joeri De Koster, Stefan Marr, Theo D'Hondt, Tom Van Cutsem:
  Domains: Safe sharing among actors. 140-158
• 
  Stefan Marr, Thierry Renaux, Lode Hoste, Wolfgang De Meuter:
  Parallel gesture recognition with soft real-time guarantees. 159-183
• 
  Ehsan Khamespanah, Marjan Sirjani, Zeynab Sabahi-Kaviani, Ramtin Khosravi, Mohammad-Javad Izadi:
  Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system. 184-204
• 
  Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund:
  Adding distribution and fault tolerance to Jason. 205-232
• 
  David Harel, Amir Kantor, Guy Katz, Assaf Marron, Gera Weiss, Guy Wiener:
  Towards behavioral programming in distributed architectures. 233-267
• 
  Adiel Ashrov, Assaf Marron, Gera Weiss, Guy Wiener:
  A use-case for behavioral programming: An architecture in JavaScript and Blockly for interactive applications with cross-cutting scenarios. 268-292
• 
  Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis:
  Optimized distributed implementation of multiparty interactions with Restriction. 293-316

Volume 98, Part 3, February 2015

Special Issue on Advances in Dynamic Languages

• 
  Jannik Laval, Andy Kellens:
  Advances in Dynamic Languages. 317
• 
  Jean-Baptiste Arnaud, Stéphane Ducasse, Marcus Denker, Camille Teruel:
  Handles: Behavior-propagating first class references for dynamically-typed languages. 318-338
• 
  Mariano Martinez Peck, Noury Bouraqadi, Luc Fabresse, Marcus Denker, Camille Teruel:
  Ghost: A uniform and general-purpose proxy implementation. 339-359
• 
  Christophe Scholliers, Éric Tanter, Wolfgang De Meuter:
  Computational contracts. 360-375
• 
  Verónica Uquillas Gómez, Stéphane Ducasse, Theo D'Hondt:
  Visually characterizing source code changes. 376-393
• 
  Fernando Olivero, Michele Lanza, Marco D'Ambros:
  Object-focused environments revisited. 394-407
• 
  Carl Friedrich Bolz, Laurence Tratt:
  The impact of meta-tracing on VM design and implementation. 408-421
• 
  Tom Van Cutsem, Mark S. Miller:
  Robust trait composition for Javascript. 422-438

Volume 98, Part 4, February 2015

• 
  Vittorio Cortellessa, Raffaela Mirandola, Pasqualina Potena:
  Managing the evolution of a software architecture at minimal cost under performance and reliability constraints. 439-463
• 
  Marco Bozzano, Alessandro Cimatti, Oleg Lisagor, Cristian Mattarei, Sergio Mover, Marco Roveri, Stefano Tonetta:
  Safety assessment of AltaRica models via symbolic model checking. 464-483
• 
  Shin-Cheng Mu, Yu-Han Lyu, Akimasa Morihata:
  Approximate by thinning: Deriving fully polynomial-time approximation schemes. 484-515
• 
  Mila E. Majster-Cederbaum, Nils Semmelrock:
  A basis for compositionally ensuring safety properties and its connection to relational algebraic operators. 516-530
• 
  Yannick Le Goc, Alexandre Donzé:
  EVL: A framework for multi-methods in C++. 531-550
• 
  Lukasz M. Kwiatkowski, Chris Verhoef:
  Reducing operational costs through MIPS management. 551-588
• 
  Tony Clark:
  XPL: A language for modular homogeneous language embedding. 589-616
• 
  Myoungkyu Song, Eli Tilevich:
  Reusing metadata across components, applications, and languages. 617-644
• 
  Amogh Margoor, Raghavan Komondoor:
  Two techniques to improve the precision of a demand-driven null-dereference verification approach. 645-679
• 
  Surafel Lemma Abebe, Paolo Tonella:
  Extraction of domain concepts from the source code. 680-706
• 
  Dionisis Margaris, Costas Vassilakis, Panagiotis Georgiadis:
  An integrated framework for adapting WS-BPEL scenario execution using QoS and collaborative filtering techniques. 707-734
• 
  Pavel Parizek, Ondrej Lhoták:
  Model checking of concurrent programs with static analysis of field accesses. 735-763
• 
  Alejandro Sanchez, Nuno Oliveira, Luís Soares Barbosa, Pedro Rangel Henriques:
  A perspective on architectural re-engineering. 764-784