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
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 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 Formulation 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
Copyright ©
Fri Nov 27 19:56:46 2009 by
Michael Ley
(
ley@uni-trier.de
)