![](https://dblp.uni-trier.de./img/logo.320x120.png)
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
Science of Computer Programming, Volume 134
Volume 134, February 2017
- Mark G. J. van den Brand
, Jurgen J. Vinju, Kim Mens
:
Guest editors' introduction to the 6th issue of Experimental Software and Toolkits (EST-6). 1-3 - Tim Felgentreff
, Michael Perscheid, Robert Hirschfeld:
Implementing record and refinement for debugging timing-dependent communication. 4-18 - George Ganea, Ioana Verebi, Radu Marinescu:
Continuous quality assessment with inCode. 19-36 - Mark Hills
, Paul Klint, Jurgen J. Vinju:
Enabling PHP software engineering research in Rascal. 37-46 - Harald Störrle:
Cost-effective evolution of research prototypes into end-user tools: The MACH case study. 47-60 - Silverio Martínez-Fernández
, Xavier Franch, Jesús Bisbal
:
Mercury: Using the QuPreSS reference model to evaluate predictive services. 61-74 - Sergio Castro
, Kim Mens
, Paulo Moura
:
JPC: A library for categorising and applying inter-language conversions between Java and Prolog. 75-99 - Anya Helene Bagge
:
Managing facts and resources with the Pica IDE infrastructure library. 100-111
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
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.