default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDComputer 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
Volume 11, Number 2, 1986
- 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
Volume 11, Number 3/4, 1986
- 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
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.
last updated on 2024-11-07 20:37 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
