Computer Languages, Volume 18

Volume 18, Number 1, 1993

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

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

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

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