Access the full text.
Sign up today, get DeepDyve free for 14 days.
D. Hanson, R. Griswold (1978)
The SL5 procedure mechanismCommun. ACM, 21
C. Hewitt (1971)
Procedural Embedding of knowledge in Planner
G. Steele, G. Sussman (1978)
The Revised Report on SCHEME: A Dialect of LISP.
(1977)
Information management in context trees . Act
L. Svobodova, B. Liskov, D. Clark (1979)
DISTRIBUTED COMPUTER SYSTEMS: STRUCTURE AND SEMANTICS
Jacques Cohen (1979)
Non-Deterministic AlgorithmsACM Comput. Surv., 11
G. Sussman, D. McDermott (1972)
From PLANNER to CONNIVER: a genetic approach
G. Lindstrom (1979)
Backtracking in a Generalized Control SettingACM Trans. Program. Lang. Syst., 1
F. Turini (1983)
Abstractions of control environmentsBIT Numerical Mathematics, 23
R. Griswold, D. Hanson, John Korb (1981)
Generators in IconACM Trans. Program. Lang. Syst., 3
C. Montangero, G. Pacini, F. Turini (1977)
Two-level control structure for nondeterministic programmingCommun. ACM, 20
J. Guttag (1980)
Notes on Type Abstraction (Version 2)IEEE Transactions on Software Engineering, SE-6
Rahim Ramezanian (1978)
Communicating sequential processesCommun. ACM, 21
D. Bobrow, B. Raphael (1974)
New Programming Languages for Artificial Intelligence ResearchACM Comput. Surv., 6
N. Jones, Anders Gomard, Olivier Bondorf, Torben Danvy (1997)
’ s introduction to the Special Section on the Third International Conference on Computer Languages
M. Shaw (1981)
Abstraction and Verification in Alphard: Design and Verification of a Tree Handler
B. Liskov, A. Snyder, R. Atkinson, Craig Schaffert (1977)
Abstraction mechanisms in CLUCommun. ACM, 20
C. Montangero, G. Pacini, F. Turini (1975)
MAGMA-LISP: A "Machine Language" For Artificial Intelligence
G. Popek, J. Horning, B. Lampson, James Mitchell, R. London (1977)
Notes on the design of Euclid
(1980)
Received February
R. Sproull, D. Cohen (1978)
High-level protocolsProceedings of the IEEE, 66
C. Hewitt, H. Baker (1977)
Laws for Communicating Parallel Processes
W. Wulf, R. London, M. Shaw (1976)
An introduction to the construction and verification of Alphard programsIEEE Trans. Software Eng., 2
M. Gordon (1979)
The denotational description of programming languages - an introduction
Magma2: A Language Oriented toward Experiments In Control FRANCO TURINI Universit& di Pisa The design of a programming language, Magma2, is outlined. The language provides the facilities for programming new control regimes and encapsulating them into appropriate modules. The general paradigm of abstraction of control is applied to sequential control regimes. The language is presented via a formal model and a few examples of its use. The semantic model has a denotational flavor and can be used to describe the semantics of languages with unconventional control features. Categories and Subject Descriptors: D.2.2 [Software Engineering]: Tools and Techniques-software libraries; D.3.1 [Programming Languages]: Formal Definitions and Theory--semantics; D.3.2 [Programming Languages]: Language Classifications--applicative languages; extensible languages; D.3.3 [Programming Languages]: Language Constructs--control structures; modules, packages; F.3.2 [Logics and Meaning of Programs]: Semantics of Programming Languages--denotational semantics; F.3.3 [Logics and Meaning of Programs]: Studies of Program Constructs-control primitives General Terms: Languages, Theory Additional Key Words and Phrases: Control abstractions, computation agents, control environments 1. INTRODUCTION M a g m a 2 is a n e x p e r i m e n t a l l a n g u a g e a i m e d at p r o
ACM Transactions on Programming Languages and Systems (TOPLAS) – Association for Computing Machinery
Published: Oct 1, 1984
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.