Computer Languages, Volume 1

Volume 1, Number 1, 1976

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

Volume 1, Number 2, 1976

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

Volume 1, Number 3, 1976

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

Volume 1, Number 4, 1976

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