ask others

Science of Computer Programming, Volume 41

> Home > Journals > Science of Computer Programming

Volume 41, Number 1, September 2001

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/Naumann01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/Naumann01
David A. Naumann:
Predicate transformer semantics of a higher-order imperative language with record subtyping. 1-51
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/PlathR01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/PlathR01
Malte Plath, Mark Ryan:
Feature integration using a feature construct. 53-84
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/MarchandRBS01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/MarchandRBS01
Hervé Marchand, Éric Rutten, Michel Le Borgne, Mazen Samaan:
Formal verification of programs specified with signal: application to a power transformer station controller. 85-104

Volume 41, Number 2, October 2001

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/CanalPT01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/CanalPT01
Carlos Canal, Ernesto Pimentel, José M. Troya:
Compatibility and inheritance in software architectures. 105-138
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/LiuST01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/LiuST01
Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum:
Strengthening invariants for efficient computation. 139-172
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/HesselinkMB01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/HesselinkMB01
Wim H. Hesselink, Arnold Meijster, Coenraad Bron:
Concurrent determination of connected components. 173-194

Volume 41, Number 3, November 2001

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/Klaudel01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/Klaudel01
Hanna Klaudel:
Compositional high-level Petri net semantics of a parallel programming language with procedures. 195-240
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/HennessyLR01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/HennessyLR01
Matthew Hennessy, Huimin Lin, Julian Rathke:
Unique fixpoint induction for message-passing process calculi. 241-275
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/OmiciniD01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/OmiciniD01
Andrea Omicini, Enrico Denti:
From tuple spaces to tuple centres. 277-294

maintained by

, founded at