Computer Languages, Volume 11

Volume 11, Number 1, 1986

Vijay Gehlot, Y. N. Srikant: An Interpreter for SLIPS - An Applicative Language Based on Lambda-Calculus. 1-13 BibTeX
Pamela Zave: Case Study: The Paisley Approach Applied to Its Own Software Tools. 15-28 BibTeX
Matthias Felleisen, Daniel P. Friedman: A Closer Look at Export and Import Statements. 29-37 BibTeX
Eliezer L. Lozinskii, Sergei Nirenburg: Parsing in Parallel. 39-51 BibTeX

Arthur C. Fleck: Structuring FP-Style Functional Programs. 55-63 BibTeX
Hans P. Zima: A Constraint Language and Its Interpreter. 65-83 BibTeX
Greg Michaelson: Interpreters From Functions and Grammars. 85-104 BibTeX
Henri E. Bal, Andrew S. Tanenbaum: Language- and Machine-Independent Global Optimization on Intermediate Code. 105-121 BibTeX

Paul A. Bailes: Static Checking of Variable Handling in Dijkstra's Guarded Commands Language. 123-142 BibTeX
Christopher T. Haynes, Daniel P. Friedman, Mitchell Wand: Obtaining Coroutines with Continuations. 143-153 BibTeX
G. Donnan, M. Elizabeth C. Hull: On Processes, Synchronization and Redundant Code in Communicating Sequential Processes. 155-160 BibTeX
Kent Petersson, Jan M. Smith: Program Derivation in Type Theory: A Partitioning Problem. 161-172 BibTeX
Barrett R. Bryant, Balanjaninath Edupuganty, Lee S. Hull: Two-Level Grammar as an Implementable Metalanguage for Axiomatic Semantics. 173-191 BibTeX