SIGPLAN Notices, Volume 18

Volume 18, Number 1, January 1983

Joe Celko, John S. Davis, John Mitchell: A Demonstration of Three Requirements Language Systems. 9-14 BibTeX
Brad J. Cox: The Object Oriented Pre-Compiler. 15-22 BibTeX
Karel Culík: On Formal and Informal Proofs for Program Correctness. 23-28 BibTeX
Dan R. Olsen: A Subset Algorithm for Deterministic FSMs within Deterministic PDAs. 29-34 BibTeX
Uri Shani: Should Program Editors not Abandon Text Oriented Commands? 35-41 BibTeX
David Spector: The Simplest Functional Programming Language. 42-46 BibTeX

Arol Ambler, Robert Trawick: Chatin's Graph Coloring Algorithm as a Method for Assigning Positions to Diana Attributes. 37-38 BibTeX
Hans W. Barz: Implementing Semaphores by Binary Semaphores. 39-45 BibTeX
Daniel M. Berry: A New Methodology for Generating Test Cases for a Programming Language Compiler. 46-56 BibTeX
F. D. Boswell, M. J. Carmody, T. R. Grove: A String Extension for Pascal. 57-61 BibTeX
Raphael A. Finkel: Run-time Print Values. 62-64 BibTeX
Manfred Jackel: Context Senitive Formatting. 65-68 BibTeX
E. M. J. C. Van Oost: DUIF: A Data-Oriented Flowchart Environmemnt. 69-75 BibTeX

Giovanni Cantone, Aniello Cimitile, Lucio Sansone: Complexity in Program Schemes: The Characteristic Polynomial. 22-31 BibTeX
E. H. den Hertog, H. J. C. Gerbscheid, Martin L. Kersten: Do-Select Reconsidered. 32-35 BibTeX
Bruce J. MacLennan: Overview of Relational Programming. 36-45 BibTeX
Desiré Vermaak: PROGEN: A Programming Environment. 46-47 BibTeX

Stowe Boyd: Modular C. 45-54 BibTeX
Elfriede Fehr: The "Simplest Functional Programming Language" is neither Simple nor Functional. 55-57 BibTeX
Rhys S. Francis: Containment Defines a Class of Recursive Data Structures. 58-64 BibTeX
Norman Hardy: Nested Scopes in Pascal and Algol 68. 65 BibTeX
Alfred Laut: An Algebraic Specification of Pascal's File Type. 66-68 BibTeX
David May: OCCAM. 69-79 BibTeX
Karl L. Pentzlin: Discussion of Statement Labels; Proposal of a "Transfer/Junction" Construct as Alternative to "Goto". 80-81 BibTeX
F. Teiyeira de Queiroz: The Next Control Structure That I Need. 82-85 BibTeX
Howard E. Tompkins: In Defense of Teaching Structured COBOL as Computer Science (or, Notes on being Sage Struck). 86-94 BibTeX