Science 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 BibTeX
• Mathai Joseph, Abha Moitra, Neelam Soundararajan: Proof Rules for Fault Tolerant Distributed Programs. 43-67 BibTeX
• Claude Kirchner, Hélène Kirchner: REVEUR-3: The Implementation of a General Completion Procedure Parameterized by Built-in Theories and Strategies. 69-86 BibTeX
• Stefan Kölbl, Mitchell Wand: Linear Future Semantics and Its Implementation. 87-103 BibTeX
• Martin Rem: Small Programming Exercises 15. 105-112 BibTeX

Volume 8, Number 2, April 1987

• Richard S. Bird: A Formal Development of an Efficient Subercombinator Compiler. 113-137 BibTeX
• David Gries, Jan Prins: McLaren's Masterpiece. 139-145 BibTeX
• Luca Cardelli: Basic Polymorphic Typechecking. 147-172 BibTeX
• Guy Cousineau, Pierre-Louis Curien, Michel Mauny: The Categorical Abstract Machine. 173-202 BibTeX
• Martin Rem: Small Programming Exercises 16. 203-211 BibTeX

Volume 8, Number 3, June 1987

• Douglas R. Smith: Applications of a Strategy for Designing Divide-and-Conquer Algorithms. 213-229 BibTeX
• David Harel: Statecharts: A Visual Formulation for Complex Systems. 231-274 BibTeX
• E. Allen Emerson, Chin-Laung Lei: Modalities for Model Checking: Branching Time Logic Strikes Back. 275-306 BibTeX
• Martin Rem: Small Programming Exercises 17. 307-313 BibTeX