Computer Languages, Volume 18

Volume 18, Number 1, 1993

• R. Nigel Horspool: Recursive Ascent-Descent Parsing. 1-15
• S. Radha, C. R. Muthukrishnan: A Portable Implementation of Unity on Von Neumann Machines. 17-30
• Paul A. Bailes, Dan B. Johnston, Eric J. Salzman: A Proposal for a Genuinely-Lazy Streams Facility for Ada. 31-55
• H. Justin Coven: Altering and Applying Predicates. 57-75

Volume 18, Number 2, 1993

• Luqi: Real-Time Constraints in a Rapid Prototyping Language. 77-103
• Evelina Lamma, Paola Mello, Gianfranco Rossi: Parametric Composable Modules in a Logic Programming Language. 105-123
• K. H. Shekhar, Y. N. Srikant: Linda Sub System on Transputers. 125-136
• Mark-Jan Nederhof, Janos J. Sarbo: Partial Evaluation Grammars. 137-151

Volume 18, Number 3, 1993

• Andrea Clematis, Vittoria Gianuzzi: Structuring Conversation in Operation/Procedure Oriented Programming Languages. 153-168
• Stephen S. Yau, Jacob V. Gore: Constraint-Driven Programming in Strongly-Typed Object-Oriented Languages. 169-183
• Domenico Talia: A Survey of Parlog and Concurrent Prolog: The Integration of Logic and Parallelism. 185-196
• Alberto Coen-Porisini, Flavio De Paoli: Array Representation in Symbolic Execution. 197-216

Volume 18, Number 4, 1993

• Janalee O'Bagy, Kenneth Walker, Ralph E. Griswold: An Operational Semantics for Icon: Implementation of a Procedural Goal-Directed Language. 217-239
• Carl McCrosky, Ken Sailor: A Synthesis of Type-Checking and Parsing. 241-250
• Paul A. Bailes, Trevor Chorvat: Facet Grammars: Towards Static Semantic Analysis by Context-Free Parsing. 251-271
• Shaoying Liu: An Abstract Programming Language and Correctness Proofs. 273-282