default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience of Computer Programming, Volume 5
Volume 5, Number 1, February 1985
- C. J. Kooken:
Algebraic Specification and Verification of Communicating Protocols. 1-36 - Douglas R. Smith:
The Design of Divide and Conquer Algorithms. 37-58 - Andrzej Tarlecki
:
A Language of Specified Programs. 59-81 - Fahimeh Jalili:
A General Incremental Evaluator for Attribute Grammars. 83-96 - Martin Rem:
Small Programming Exercises 6. 97-106
Volume 5, Number 2, June 1985
- Bertrand Meyer, Jean-Marc Nerson, Soon Hae Ko:
Showing Programs on a Screen. 111-142 - Lawrence C. Paulson:
Verifying the Unification Algorithm in LCF. 143-169 - Jan A. Bergstra, John V. Tucker:
Top-Down Design and the Algebra of Communicating Processes. 171-199 - Jean-Pierre Finance, Jeanine Souquières:
A method and a language for constructing iterative programs. 201-218
Volume 5, Number 3, October 1985
- Jeanine Souquières, Jean-Pierre Finance:
Description and Improvement of Iterative Program Transformations. 233-264 - Alain J. Martin:
Distributed Mutual Exclusion on a Ring of Processes. 265-276 - Abha Moitra:
Automatic Construction of CSP Programs from Sequential Non-Deterministic Programs. 277-307 - Martin Rem:
Small Programming Exercises 7. 309-316
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:42 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:
