researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Computer Languages, Systems \& Structures
Home
Index
Info
Volume
Volume
1
, Issue
4
277
--
286
Bruce Knobe
,
Gideon Yuval
.
Some Steps Towards a Better Pascal
287
--
301
S. Kamal Abdali
.
A Lambda-Calculus Model of Programming Languages - I. Simple Constructs
303
--
320
S. Kamal Abdali
.
A Lambda-Calculus Model of Programming Languages - II. Jumps and Procedures
321
--
342
Jay Earley
.
High Level Iterators and a Method for Automatically Designing Data Structure Representation
Volume
1
, Issue
3
197
--
218
Jacob T. Schwartz
.
Optimization of Very High Level Languages - II. Deducing Relationships of Inclusion and Membership
219
--
232
Ashok K. Chandra
,
Zohar Manna
.
On the Power of Programming Features
233
--
253
Onkar P. Sharma
.
Syntax Optimization for and Parsing of Patterns
255
--
273
Victor R. Basili
.
A Structured Approach to Language Design
Volume
1
, Issue
2
105
--
119
Alan J. Demers
.
Elimination of Single Productions and Merging Nonterminal Symbols of LR(1) Grammars
121
--
138
G. Kampen
,
Jean-Loup Baer
.
The Formal Definition of Semantics by String Automata
139
--
150
Ivan Flores
,
M. Feuerman
.
Source Statement Libraries and IBM System/370
151
--
160
C. A. R. Hoare
.
Parallel Programming: An Axiomatic Approach
161
--
194
Jacob T. Schwartz
.
Optimization of Very High Level Languages - I. Value Transmission and Its Corollaries
Volume
1
, Issue
1
3
--
16
Allen B. Tucker
.
Very High-Level Language Design: A Viewpoint
17
--
28
Richard E. Merwin
,
Francois Robert Broca
.
Direct Microprogrammed Execution of the Intermediate Text from a High-Level Language Compiler
29
--
43
Joseph E. Sullivan
.
Extending Pl/I for Structured Programming
45
--
60
Ivan Flores
,
Paul Kaminsky
,
Daniel Ryan
.
List and Execute Forms of Macros
61
--
71
S. L. Stewart
.
STAPLE, An Experimental Structured Programming Language
73
--
82
William M. McKeeman
.
Mechanizing Bankers Morality
83
--
99
Robert S. Ledley
,
James B. Wilson
.
The Precise Handling of Qualitative Relationships