


default search action
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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














