default search action
Science of Computer Programming, Volume 98
Volume 98, Part 1, February 2015
- Mark van den Brand
, Davide Di Ruscio
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
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
A tool for visual and formal modelling of software designs. 52-79 - Zoltán Ujhelyi
EMF-IncQuery: An integrated development environment for live model queries. 80-99 - Lukás Marek, Yudi Zheng, Danilo Ansaloni, Lubomír Bulej
Introduction to dynamic program analysis with DiSL. 100-115
Volume 98, Part 2, February 2015
- Alessandro Ricci
Special issue on programming based on actors, agents and decentralized control. 117-119 - Howell R. Jordan, Goetz Botterweck
A feature model of actor, agent, functional, object, and procedural programming languages. 120-139 - Joeri De Koster, Stefan Marr
Domains: Safe sharing among actors. 140-158 - Stefan Marr
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
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
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
Ghost: A uniform and general-purpose proxy implementation. 339-359 - Christophe Scholliers
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
The impact of meta-tracing on VM design and implementation. 408-421 - Tom Van Cutsem
Robust trait composition for Javascript. 422-438
Volume 98, Part 4, February 2015
- Vittorio Cortellessa
Managing the evolution of a software architecture at minimal cost under performance and reliability constraints. 439-463 - Marco Bozzano
Safety assessment of AltaRica models via symbolic model checking. 464-483 - Shin-Cheng Mu
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
Extraction of domain concepts from the source code. 680-706 - Dionisis Margaris
An integrated framework for adapting WS-BPEL scenario execution using QoS and collaborative filtering techniques. 707-734 - Pavel Parízek
Model checking of concurrent programs with static analysis of field accesses. 735-763 - Alejandro Sanchez
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 2024-11-22 19:32 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: