Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 112

> Home > Journals > Science of Computer Programming

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volumes 112, Part 1, November 2015

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/HojjatSA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/HojjatSA15
Hossein Hojjat, Marjan Sirjani, Farhad Arbab:
Fundamentals of Software Engineering (selected papers of FSEN 2013). 1-2
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/HartmannsH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/HartmannsH15
Arnd Hartmanns, Holger Hermanns:
In the quantitative automata zoo. 3-23
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/CholewaEM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/CholewaEM15
Andrew Cholewa, Santiago Escobar, José Meseguer:
Constrained narrowing for conditional equational theories modulo axioms. 24-57
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/HatefiH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/HatefiH15
Hassan Hatefi, Holger Hermanns:
Improving time bounded reachability computations in interactive Markov chains. 58-74
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BartolettiCP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BartolettiCP15
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna:
Lending Petri nets. 75-101
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BoerBR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BoerBR15
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

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/ChinH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ChinH15
Wei-Ngan Chin, Jurriaan Hage:
Selected and extended papers from Partial Evaluation and Program Manipulation 2014. 119
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/KameyamaKS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/KameyamaKS15
Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan:
Combinators for impure yet hygienic code generation. 120-144
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/LeatherJLS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/LeatherJLS15
Sean Leather, Johan Jeuring, Andres Löh, Bram Schuur:
Type-changing rewriting and semantics-preserving transformation. 145-169
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/AdamsFM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AdamsFM15
Michael D. Adams, Andrew Farmer, José Pedro Magalhães:
Optimizing SYB traversals is easy! 170-193

Volumes 112, Part 3, November 2015

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BarenghiCMPP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BarenghiCMPP15
Alessandro Barenghi, Stefano Crespi-Reghizzi, Dino Mandrioli, Federica Panella, Matteo Pradella:
Parallel parsing made practical. 195-226
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/YiDFF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/YiDFF15
Jaeheon Yi, Tim Disney, Stephen N. Freund, Cormac Flanagan:
Cooperative types for controlling thread interference in Java. 227-260

a service of

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.