default search action
Science of Computer Programming, Volume 112
Volumes 112, Part 1, November 2015
- Hossein Hojjat, Marjan Sirjani, Farhad Arbab:
Fundamentals of Software Engineering (selected papers of FSEN 2013). 1-2 - Arnd Hartmanns, Holger Hermanns:
In the quantitative automata zoo. 3-23 - Andrew Cholewa, Santiago Escobar, José Meseguer:
Constrained narrowing for conditional equational theories modulo axioms. 24-57 - Hassan Hatefi, Holger Hermanns:
Improving time bounded reachability computations in interactive Markov chains. 58-74 - Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna:
Lending Petri nets. 75-101 - Frank S. de Boer, Marcello M. Bonsangue, Jurriaan Rot:
It is pointless to point in bounded heaps. 102-118
Volumes 112, Part 2, November 2015
- Wei-Ngan Chin, Jurriaan Hage:
Selected and extended papers from Partial Evaluation and Program Manipulation 2014. 119 - Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan:
Combinators for impure yet hygienic code generation. 120-144 - Sean Leather, Johan Jeuring, Andres Löh, Bram Schuur:
Type-changing rewriting and semantics-preserving transformation. 145-169 - Michael D. Adams, Andrew Farmer, José Pedro Magalhães:
Optimizing SYB traversals is easy! 170-193
Volumes 112, Part 3, November 2015
- Alessandro Barenghi, Stefano Crespi-Reghizzi, Dino Mandrioli, Federica Panella, Matteo Pradella:
Parallel parsing made practical. 195-226 - Jaeheon Yi, Tim Disney, Stephen N. Freund, Cormac Flanagan:
Cooperative types for controlling thread interference in Java. 227-260
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.