Computer Languages, Volume 1

Volume 1, Number 1, 1976

Allen B. Tucker: Very High-Level Language Design: A Viewpoint. 3-16 BibTeX
Richard E. Merwin, Francois Robert Broca: Direct Microprogrammed Execution of the Intermediate Text from a High-Level Language Compiler. 17-28 BibTeX
Joseph E. Sullivan: Extending Pl/I for Structured Programming. 29-43 BibTeX
Ivan Flores, Paul Kaminsky, Daniel Ryan: List and Execute Forms of Macros. 45-60 BibTeX
S. L. Stewart: STAPLE, An Experimental Structured Programming Language. 61-71 BibTeX
William M. McKeeman: Mechanizing Bankers' Morality. 73-82 BibTeX
Robert S. Ledley, James B. Wilson: The Precise Handling of Qualitative Relationships. 83-99 BibTeX

Alan J. Demers: Elimination of Single Productions and Merging Nonterminal Symbols of LR(1) Grammars. 105-119 BibTeX
G. Kampen, Jean-Loup Baer: The Formal Definition of Semantics by String Automata. 121-138 BibTeX
Ivan Flores, M. Feuerman: Source Statement Libraries and IBM System/370. 139-150 BibTeX
C. A. R. Hoare: Parallel Programming: An Axiomatic Approach. 151-160 BibTeX
Jacob T. Schwartz: Optimization of Very High Level Languages - I. Value Transmission and Its Corollaries. 161-194 BibTeX

Jacob T. Schwartz: Optimization of Very High Level Languages - II. Deducing Relationships of Inclusion and Membership. 197-218 BibTeX
Ashok K. Chandra, Zohar Manna: On the Power of Programming Features. 219-232 BibTeX
Onkar P. Sharma: Syntax Optimization for and Parsing of Patterns. 233-253 BibTeX
Victor R. Basili: A Structured Approach to Language Design. 255-273 BibTeX

Bruce Knobe, Gideon Yuval: Some Steps Towards a Better Pascal. 277-286 BibTeX
S. Kamal Abdali: A Lambda-Calculus Model of Programming Languages - I. Simple Constructs. 287-301 BibTeX
S. Kamal Abdali: A Lambda-Calculus Model of Programming Languages - II. Jumps and Procedures. 303-320 BibTeX
Jay Earley: High Level Iterators and a Method for Automatically Designing Data Structure Representation. 321-342 BibTeX