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
Pamela Zave: Case Study: The Paisley Approach Applied to Its Own Software Tools. 15-28
Matthias Felleisen, Daniel P. Friedman: A Closer Look at Export and Import Statements. 29-37
Eliezer L. Lozinskii, Sergei Nirenburg: Parsing in Parallel. 39-51

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

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