default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience of Computer Programming, Volume 8
Volume 8, Number 1, February 1987
- Paul Chisholm:
Derivation of a Parsing Algorithm in Martin-Löf's Theory of Types. 1-42 - Mathai Joseph, Abha Moitra, Neelam Soundararajan:
Proof Rules for Fault Tolerant Distributed Programs. 43-67 - Claude Kirchner, Hélène Kirchner:
REVEUR-3: The Implementation of a General Completion Procedure Parameterized by Built-in Theories and Strategies. 69-86 - Stefan Kölbl, Mitchell Wand:
Linear Future Semantics and Its Implementation. 87-103 - Martin Rem:
Small Programming Exercises 15. 105-112
Volume 8, Number 2, April 1987
- Richard S. Bird:
A Formal Development of an Efficient Subercombinator Compiler. 113-137 - David Gries
, Jan F. Prins:
McLaren's Masterpiece. 139-145 - Luca Cardelli:
Basic Polymorphic Typechecking. 147-172 - Guy Cousineau, Pierre-Louis Curien, Michel Mauny:
The Categorical Abstract Machine. 173-202 - Martin Rem:
Small Programming Exercises 16. 203-211
Volume 8, Number 3, June 1987
- Douglas R. Smith:
Applications of a Strategy for Designing Divide-and-Conquer Algorithms. 213-229 - David Harel:
Statecharts: A Visual Formalism for Complex Systems. 231-274 - E. Allen Emerson, Chin-Laung Lei:
Modalities for Model Checking: Branching Time Logic Strikes Back. 275-306 - Martin Rem:
Small Programming Exercises 17. 307-313
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-05 22:23 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:
