default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience of Computer Programming, Volume 7
Volume 7, Number 1, July 1986
- Thomas A. Joseph, Thomas Räuchle, Sam Toueg:
State Machines and Assertions: An Integrated Approach to Modeling and Verification of Distributed Systems. 1-22 - M. van der Nat, Alex A. Verrijn-Stuart:
Analysing a Class of Distributive Partitioning Sort Algorithms. 23-33 - Manfred Broy, Bernhard Möller, Peter Pepper, Martin Wirsing:
Algebraic Implementations Preserve Program Correctness. 35-53 - Jan L. A. van de Snepscheut:
A Derivation of a Distributed Implementation of Warshall's Algorithm. 55-60 - Frédéric Voisin:
CIGALE: A Tool for Interactive Grammar Construction and Expression Parsing. 61-86 - Martin Rem:
Small Programming Exercises 12. 87-97
Volume 7, Number 2, September 1986
- Helmuth Partsch:
Transformational Program Development in a Particular Program Domain. 99-241 - Martin Rem:
Small Programming Exercises 13. 243-248
Volume 7, Number 3, November 1986
- Geoffrey Livingston Burn, Chris Hankin, Samson Abramsky
:
Strictness Analysis for Higher-Order Functions. 249-278 - Mark B. Josephs:
Functional Programming with Side-Effects. 279-296 - Katsuro Inoue, Hiroyuki Seki, Kenichi Taniguchi, Tadao Kasami:
Compiling and Optimizing Methods for the Functional Language ASL/F. 297-312 - 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.
last updated on 2025-12-09 23:25 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
