default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience of Computer Programming, Volume 98
Volume 98, Part 1, February 2015
- 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
- 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
- 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 Parízek, 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-21 19:37 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
