Volume 18,
Number 1,
January 1983
- Joe Celko, John S. Davis, John Mitchell:
A Demonstration of Three Requirements Language Systems.
9-14
- Brad J. Cox:
The Object Oriented Pre-Compiler.
15-22
- Karel Culík:
On Formal and Informal Proofs for Program Correctness.
23-28
- Dan R. Olsen:
A Subset Algorithm for Deterministic FSMs within Deterministic PDAs.
29-34
- Uri Shani:
Should Program Editors not Abandon Text Oriented Commands?
35-41
- David Spector:
The Simplest Functional Programming Language.
42-46
Volume 18,
Number 2,
February 1983
Volume 18,
Number 3,
March 1983
Volume 18,
Number 4,
April 1983
- Stowe Boyd:
Modular C.
45-54
- Elfriede Fehr:
The "Simplest Functional Programming Language" is neither Simple nor Functional.
55-57
- Rhys S. Francis:
Containment Defines a Class of Recursive Data Structures.
58-64
- Norman Hardy:
Nested Scopes in Pascal and Algol 68.
65
- Alfred Laut:
An Algebraic Specification of Pascal's File Type.
66-68
- David May:
OCCAM.
69-79
- Karl L. Pentzlin:
Discussion of Statement Labels; Proposal of a "Transfer/Junction" Construct as Alternative to "Goto".
80-81
- F. Teiyeira de Queiroz:
The Next Control Structure That I Need.
82-85
- Howard E. Tompkins:
In Defense of Teaching Structured COBOL as Computer Science (or, Notes on being Sage Struck).
86-94
Copyright © Sat Nov 14 06:15:33 2009
by Michael Ley (ley@uni-trier.de)
