Volume 98

Science of Computer Programming

Volume 98

1

Computational contracts

Scholliers, Christophe, Tanter, Éric, De Meuter, Wolfgang

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 754 KB

english, 2015

2

Towards behavioral programming in distributed architectures

Harel, David, Kantor, Amir, Katz, Guy, Marron, Assaf, Weiss, Gera, Wiener, Guy

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 2.04 MB

english, 2015

3

Visually characterizing source code changes

Uquillas Gómez, Verónica, Ducasse, Stéphane, D’Hondt, Theo

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 2.22 MB

english, 2015

4

A use-case for behavioral programming: An architecture in JavaScript and Blockly for interactive applications with cross-cutting scenarios

Ashrov, Adiel, Marron, Assaf, Weiss, Gera, Wiener, Guy

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 4.96 MB

english, 2015

5

A perspective on architectural re-engineering

Sanchez, Alejandro, Oliveira, Nuno, Barbosa, Luis S., Henriques, Pedro

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 1.07 MB

english, 2015

6

EMF-IncQuery: An integrated development environment for live model queries

Ujhelyi, Zoltán, Bergmann, Gábor, Hegedüs, Ábel, Horváth, Ákos, Izsó, Benedek, Ráth, István, Szatmári, Zoltán, Varró, Dániel

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 4.36 MB

english, 2015

7

Domains: Safe sharing among actors

De Koster, Joeri, Marr, Stefan, D'Hondt, Theo, Van Cutsem, Tom

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 887 KB

english, 2015

8

Optimized distributed implementation of multiparty interactions with Restriction

Bensalem, Saddek, Bozga, Marius, Quilbeuf, Jean, Sifakis, Joseph

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 1.48 MB

english, 2015

9

A feature model of actor, agent, functional, object, and procedural programming languages

Jordan, Howell, Botterweck, Goetz, Noll, John, Butterfield, Andrew, Collier, Rem

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 3.17 MB

english, 2015

10

Introduction to dynamic program analysis with DiSL

Marek, Lukáš, Zheng, Yudi, Ansaloni, Danilo, Bulej, Lubomír, Sarimbekov, Aibek, Binder, Walter, Tůma, Petr

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 811 KB

english, 2015

11

Parallel gesture recognition with soft real-time guarantees

Marr, Stefan, Renaux, Thierry, Hoste, Lode, De Meuter, Wolfgang

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 1.79 MB

english, 2015

12

The impact of meta-tracing on VM design and implementation

Bolz, Carl Friedrich, Tratt, Laurence

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 522 KB

english, 2015

13

Robust trait composition for Javascript

Van Cutsem, Tom, Miller, Mark S.

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 549 KB

english, 2015

14

Adding distribution and fault tolerance to Jason

Fernández-Díaz, Á., Benac-Earle, C., Fredlund, L.

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 1.35 MB

english, 2015

15

Object-focused environments revisited

Olivero, Fernando, Lanza, Michele, D’ambros, Marco

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 2.81 MB

english, 2015

16

A tool for visual and formal modelling of software designs

Amálio, Nuno, Glodt, Christian

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 2.80 MB

english, 2015

17

Managing the evolution of a software architecture at minimal cost under performance and reliability constraints

Cortellessa, Vittorio, Mirandola, Raffaela, Potena, Pasqualina

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 1.35 MB

english, 2015

18

Reducing operational costs through MIPS management

Kwiatkowski, Łukasz M., Verhoef, Chris

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 2.37 MB

english, 2015

19

Model checking of concurrent programs with static analysis of field accesses

Parízek, Pavel, Lhoták, Ondřej

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 876 KB

english, 2015

20

XPL: A language for modular homogeneous language embedding

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 887 KB

english, 2015

21

EVL: A framework for multi-methods in C++

Le Goc, Yannick, Donzé, Alexandre

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 519 KB

english, 2015

22

Two techniques to improve the precision of a demand-driven null-dereference verification approach

Margoor, Amogh, Komondoor, Raghavan

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 1.16 MB

english, 2015

23

A basis for compositionally ensuring safety properties and its connection to relational algebraic operators

Majster-Cederbaum, Mila, Semmelrock, Nils

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 736 KB

english, 2015

24

Guest editors' introduction to the fifth issue of Experimental Software and Toolkits (EST): A special issue on Academics Modelling with Eclipse (ACME2012)

van den Brand, Mark, Di Ruscio, Davide, Kolovos, Dimitrios S., Rose, Louis M.

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 139 KB

english, 2015

25

MeTAGeM-Trace: Improving trace generation in model transformation by leveraging the role of transformation models

Jiménez, Álvaro, Vara, Juan M., Bollati, Verónica A., Marcos, Esperanza

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 7.01 MB

english, 2015

26

Reusing metadata across components, applications, and languages

Song, Myoungkyu, Tilevich, Eli

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 2.35 MB

english, 2015

27

An integrated framework for adapting WS-BPEL scenario execution using QoS and collaborative filtering techniques

Margaris, D., Vassilakis, C., Georgiadis, P.

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 1.79 MB

english, 2015

28

Safety assessment of AltaRica models via symbolic model checking

Bozzano, Marco, Cimatti, Alessandro, Lisagor, Oleg, Mattarei, Cristian, Mover, Sergio, Roveri, Marco, Tonetta, Stefano

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 997 KB

english, 2015

29

Extraction of domain concepts from the source code

Abebe, Surafel Lemma, Tonella, Paolo

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 1.43 MB

english, 2015

30

Grammar Zoo: A corpus of experimental grammarware

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 909 KB

english, 2015

31

Approximate by thinning: Deriving fully polynomial-time approximation schemes

Mu, Shin-Cheng, Lyu, Yu-Han, Morihata, Akimasa

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 761 KB

english, 2015

32

Advances in Dynamic Languages

Laval, Jannik, Kellens, Andy

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 266 KB

english, 2015

33

Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system

Khamespanah, Ehsan, Sirjani, Marjan, Sabahi Kaviani, Zeynab, Khosravi, Ramtin, Izadi, Mohammad-Javad

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 1.50 MB

english, 2015

34

Handles: Behavior-propagating first class references for dynamically-typed languages

Arnaud, Jean-Baptiste, Ducasse, Stéphane, Denker, Marcus, Teruel, Camille

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 905 KB

english, 2015

35

Special issue on programming based on actors, agents and decentralized control

Ricci, Alessandro, Agha, Gul, Bordini, Rafael H., Marron, Assaf

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 178 KB

english, 2015

36

Editorial Board

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 44 KB

english, 2015

37

Editorial Board

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 76 KB

english, 2015

38

Editorial Board

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 44 KB

english, 2015

39

Editorial Board

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 44 KB

english, 2015