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
Volume 1, Number 2, 1976
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
Volume 1, Number 3, 1976
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
Volume 1, Number 4, 1976
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
Copyright ©
Sat May 16 23:52:47 2009 by
Michael Ley
(
ley@uni-trier.de
)