Computer Languages, Volume 19

Volume 19, Number 1, 1993

Tom Axford, Mike Joy: List Processing Primitives for Parallel Computation. 1-17
Roberto Ierusalimschy: A Denotational Approach for Type-Checking in Object-Oriented Programming Languages. 19-40
Wai-Mee Ching, Paul R. Carini, Dz-Ching Ju: A Primitive-Based Strategy for Producing Efficient Code for Very High Level Programs. 41-50
Domenico Talia: A Survey of Parlog and Concurrent Prolog: The Integration of Logic and Parallelism. 185-196

James R. Cordy, Mario Barbacci: Introduction to the Special Issue on ICCL '92. 63-64
R. Nigel Horspool, Jan Vitek: Static Analysis of PostScript Code. 65-78
Uday S. Reddy, Samuel N. Kamin: On the Power of Abstract Interpretation. 79-89
Peter Thiemann: Optimizing Structural Recursion in Functional Programs. 91-103
Keith D. Cooper, Mary W. Hall, Ken Kennedy: A Methodology for Procedure Cloning. 105-117
Laurie J. Hendren, Guang R. Gao: Designing Programming Languages for the Analyzability of Pointer Data Structures. 119-134
Angelika Zobel: Program Structure as Basis for the Parallelization of Global Register Allocation. 135-155

Andrew J. Malton: The Denotational Semantics of a Functional Tree-Manipulation Language. 157-168
R. Venugopal, Y. N. Srikant: Heuristic Chaining in Directed Acyclic Graphs. 169-184
eva Kühn, Herbert Pohlai, Franz Puntigam: Concurrency and Backtracking in VPL. 185-204
S. Mansoor Sarwar: Run-Time Behavior of SASL Programs: A Performance Study. 205-211

Kyung-Goo Doh, David A. Schmidt: Action Semantics-Directed Prototyping. 213-233
Young K. Nam, Lawrence J. Henschen: A Controlling Scheme for Prolog Through Count Terms. 235-245
Gwen Clarke, David T. Barnard: Error Handling in a Parallel LR Substring Parser. 247-259
Mostafa A. Bassiouni, Mark J. Llewellyn, Amar Mukherjee: Time-Based Operators for Relational Algebra Query Languages. 261-276