default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 7

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Journals > Science of Computer Programming

Volume 7, Number 1, July 1986

- view
- export record
  dblp key:
  - journals/scp/JosephRT86
- ask others
- share record
  persistent 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
- export record
  dblp key:
  - journals/scp/NatV86
- ask others
- share record
  persistent 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
- export record
  dblp key:
  - journals/scp/BroyMPW86
- ask others
- share record
  persistent 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
- export record
  dblp key:
  - journals/scp/Snepscheut86
- ask others
- share record
  persistent 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
- export record
  dblp key:
  - journals/scp/Voisin86
- ask others
- share record
  persistent 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
- export record
  dblp key:
  - journals/scp/Rem86c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Rem86c
Martin Rem:
Small Programming Exercises 12. 87-97

Volume 7, Number 2, September 1986

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

Volume 7, Number 3, November 1986

- view
  authority control:
- export record
  dblp key:
  - journals/scp/BurnHA86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BurnHA86
Geoffrey L. Burn, Chris Hankin, Samson Abramsky:
Strictness Analysis for Higher-Order Functions. 249-278
- view
- export record
  dblp key:
  - journals/scp/Josephs86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Josephs86
Mark B. Josephs:
Functional Programming with Side-Effects. 279-296
- view
- export record
  dblp key:
  - journals/scp/InoueSTK86
- ask others
- share record
  persistent 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
- export record
  dblp key:
  - journals/scp/Rem86e
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Rem86e
Martin Rem:
Small Programming Exercises 14. 313-319

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.