ask others

Science of Computer Programming, Volume 7

> Home > Journals > Science of Computer Programming

Volume 7, Number 1, July 1986

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/JosephRT86
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/JosephRT86
Thomas A. Joseph, Thomas Räuchle, Sam Toueg:
State Machines and Assertions: An Integrated Approach to Modeling and Verification of Distributed Systems. 1-22
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/NatV86
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/NatV86
M. van der Nat, Alex A. Verrijn-Stuart:
Analysing a Class of Distributive Partitioning Sort Algorithms. 23-33
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/BroyMPW86
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/BroyMPW86
Manfred Broy, Bernhard Möller, Peter Pepper, Martin Wirsing:
Algebraic Implementations Preserve Program Correctness. 35-53
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/Snepscheut86
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/Snepscheut86
Jan L. A. van de Snepscheut:
A Derivation of a Distributed Implementation of Warshall's Algorithm. 55-60
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/Voisin86
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/Voisin86
Frédéric Voisin:
CIGALE: A Tool for Interactive Grammar Construction and Expression Parsing. 61-86
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/Rem86c
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/Rem86c
Martin Rem:
Small Programming Exercises 12. 87-97

Volume 7, Number 2, September 1986

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/Partsch86
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/Partsch86
Helmuth Partsch:
Transformational Program Development in a Particular Program Domain. 99-241
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/Rem86d
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/Rem86d
Martin Rem:
Small Programming Exercises 13. 243-248

Volume 7, Number 3, November 1986

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/BurnHA86
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/BurnHA86
Geoffrey L. Burn, Chris Hankin, Samson Abramsky:
Strictness Analysis for Higher-Order Functions. 249-278
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/Josephs86
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/Josephs86
Mark B. Josephs:
Functional Programming with Side-Effects. 279-296
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/InoueSTK86
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/InoueSTK86
Katsuro Inoue, Hiroyuki Seki, Kenichi Taniguchi, Tadao Kasami:
Compiling and Optimizing Methods for the Functional Language ASL/F. 297-312
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/Rem86e
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/Rem86e
Martin Rem:
Small Programming Exercises 14. 313-319

maintained by

at