Journal: Computer Languages, Systems \& Structures

Volume 1, Issue 4

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

Volume 1, Issue 3

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

Volume 1, Issue 2

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

Volume 1, Issue 1

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