default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 25

> 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

Volume 25, Number 1, October 1995

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/MoirA95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/MoirA95
Mark Moir, James H. Anderson:
Wait-Free Algorithms for Fast, Long-Lived Renaming. 1-39
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/ParnasM95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ParnasM95
David Lorge Parnas, Jan Madey:
Functional Documents for Computer Systems. 41-61
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/MadhukarKRS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/MadhukarKRS95
K. Madhukar, D. Pavan Kumar, C. Pandu Rangan, R. Sundar:
Systematic Design of an Algorithm for Biconnected Components. 63-77

Volume 25, Numbers 2-3, December 1995

Selected Papers of ESOP 1994

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Sannella95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Sannella95
Donald Sannella:
Foreword: Selected Papers of ESOP'94. 79-80
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/AbadiC95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AbadiC95
Martín Abadi, Luca Cardelli:
A Theory of Primitive Objects: Second-Order Systems. 81-116
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Andrews95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Andrews95
James H. Andrews:
Foundational Issues in Implementing Constraint Logic Programming Systems. 117-147
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BidoitHW95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BidoitHW95
Michel Bidoit, Rolf Hennicker, Martin Wirsing:
Behavioural and Abstractor Specifications. 149-186
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/GiegerichK95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GiegerichK95
Robert Giegerich, Stefan Kurtz:
A Comparison of Imperative and Purely Functional Suffix Tree Constructions. 187-218
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/HankinM95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/HankinM95
Chris Hankin, Daniel Le Métayer:
Lazy Type Inference and Program Analysis. 219-249
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Jay95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Jay95
C. Barry Jay:
A Semantics for Shape. 251-283
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Prasad95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Prasad95
K. V. S. Prasad:
A Calculus of Broadcasting Systems. 285-327

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.