Magma2: a language oriented toward experiments in control

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Magma2: a language oriented toward experiments in control

Full text

Pdf (1.01 MB)

Source

ACM Transactions on Programming Languages and Systems (TOPLAS) archive
Volume 6 , Issue 4 (October 1984) table of contents
Lecture notes in computer science Vol. 174

Pages: 468 - 486

Year of Publication: 1984

ISSN:0164-0925

Author

Franco Turini

Univ. di Pisa, Pisa, Italy

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 20, Citation Count: 3

Additional Information:

references cited by index terms review collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1780.1784 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Daniel G. Bobrow , Bertram Raphael, New Programming Languages for Artificial Intelligence Research, ACM Computing Surveys (CSUR), v.6 n.3, p.153-174, Sept. 1974 [doi>10.1145/356631.356632]
	2	Jacques Cohen, Non-Deterministic Algorithms, ACM Computing Surveys (CSUR), v.11 n.2, p.79-94, June 1979 [doi>10.1145/356770.356773]
	3	Michael J. C. Gordon, The Denotational Description of Programming Languages: An Introduction, Springer-Verlag New York, Inc., Secaucus, NJ, 1979
	4	Ralph E. Griswold , David R. Hanson , John T. Korb, Generators in Icon, ACM Transactions on Programming Languages and Systems (TOPLAS), v.3 n.2, p.144-161, April 1981 [doi>10.1145/357133.357136]
	5	GUTTAG, J. Notes on type abstraction (version 2). IEEE Trans. So{tw. Eng. SE-6, 1 (Jan. 1980), 13-23.
	6	David R. Hanson , Ralph E. Griswold, The SL5 procedure mechanism, Communications of the ACM, v.21 n.5, p.392-400, May 1978 [doi>10.1145/359488.359502]
	7	HEWITW, C. Procedural embedding of knowledge in PLANNER. In Proceedings o{ the 2nd International Joint Con{erence on Artificial Intelligence (London). 1971, pp. 167-182.
	8	HEwIl~r, C., AND BAKER, H. Laws for Communicating Parallel Processes. Elsevier North- Holland, New York, 1977, pp. 987-992.
	9	C. A. R. Hoare, Communicating sequential processes, Communications of the ACM, v.21 n.8, p.666-677, Aug. 1978 [doi>10.1145/359576.359585]
	10	Gary Lindstrom, Backtracking in a Generalized Control Setting, ACM Transactions on Programming Languages and Systems (TOPLAS), v.1 n.1, p.8-26, July 1979 [doi>10.1145/357062.357063]
	11	Barbara Liskov , Alan Snyder , Russell Atkinson , Craig Schaffert, Abstraction mechanisms in CLU, Communications of the ACM, v.20 n.8, p.564-576, Aug. 1977 [doi>10.1145/359763.359789]
	12	R. Milner, A Calculus of Communicating Systems, Springer-Verlag New York, Inc., Secaucus, NJ, 1982
	13	MONTANGERO, C., PAC!NI, G., AND TURINI, F. Magmalisp: A machine language for artificial intelligence. In Proceedings o{ the 4th International Joint Con{erence on Artificial Intelligence (Tbilisi, USSR). International Joint Conference on Artificial Intelligence, Inc., 1975, pp. 556-561.
	14	C. Montangero , G. Pacini , F. Turini, Two-level control structure for nondeterministic programming, Communications of the ACM, v.20 n.10, p.725-730, Oct. 1977 [doi>10.1145/359842.359850]
	15	MONTANGERO, C., PAClNI, G., AND TURINI, F. Information management in context trees. Act. In{. 10, (1978) 85-94.
	16	D. L. Parnas, On the criteria to be used in decomposing systems into modules, Communications of the ACM, v.15 n.12, p.1053-1058, Dec. 1972 [doi>10.1145/361598.361623]
	17	G. J. Popek , J. J. Horning , B. W. Lampson , J. G. Mitchell , R. L. London, Notes on the design of Euclid, Proceedings of an ACM conference on Language design for reliable software, p.11-18, March 28-30, 1977, Raleigh, North Carolina
	18	SHAW, M. Abstraction and verification in Alphard: Design and verification of a tree handler. Tech. Rep., Computer Science Dept., Carnegie-Mellon Univ., Pittsburgh, Penna., 1976.
	19	SPROULL, R.F., AND COHEN, D. High-level protocols. Proc. IEEE 66, 11 (Nov. 1978), 78-93.
	20	STEELE, G.L., AND SUSSMAN, G.J. The revised report on Scheme (a dialect of LISP). Tech. Rep. 452, Artificial Intelligence Laboratoray, Massachusetts Institute of Technology, Cambridge, Mass., 1978.
	21	SUSSMAN, G.J., AND MCDERMOTT, D.V. From PLANNER to CONNIVER--a genetic approach. In Proceedings o{ the AFIPS Fall Joint Computer Con{erence (Anaheim, Calif., Dec. 5- 7). AFIPS Press, Reston, Va., pp. 1171-1179.
	22	L. Svobodova , B. Liskov , D. D. Clark, DISTRIBUTED COMPUTER SYSTEMS: STRUCTURE AND SEMANTICS, Massachusetts Institute of Technology, Cambridge, MA, 1979
	23	TURINI, F. Abstraction of control environments; An example. Bit 23, (1983), 21-35.
	24	WULF, W.A., LONDON, R.L., AND SHAW, M. An introduction to the construction and verification of Alphard programs. IEEE Trans. So{tw. Eng. SE-2, 4 (Dec. 1976), 252-265.

CITED BY 3

	Ralph E. Griswold , Madge T. Griswold, History of the Icon programming language, ACM SIGPLAN Notices, v.28 n.3, p.53-68, March 1993
	Ralph E. Griswold , Madge T. Griswold, History of the Icon programming language, History of programming languages---II, ACM Press, New York, NY, 1996
	P. Kearns , M. Freeman, CCAL: an interpreted language for experimentation in concurrent control, ACM SIGPLAN Notices, v.22 n.7, p.283-291, July 1987

INDEX TERMS

Classification:
D. Software
D.2 SOFTWARE ENGINEERING
D.2.2 Design Tools and Techniques
Subjects: Software libraries
D.3 PROGRAMMING LANGUAGES
D.3.1 Formal Definitions and Theory
Subjects: Semantics
D.3.2 Language Classifications
Subjects: Extensible languages; Applicative (functional) languages
Nouns: MAGMA 2
D.3.3 Language Constructs and Features
Subjects: Control structures; Modules, packages

F. Theory of Computation
F.3 LOGICS AND MEANINGS OF PROGRAMS
F.3.2 Semantics of Programming Languages
Subjects: Denotational semantics
F.3.3 Studies of Program Constructs
Subjects: Control primitives

General Terms:
Design, Languages, Performance, Theory

REVIEW

"Olivier Louis Marie Lecarme : Reviewer"

Periodically, it is claimed that research in programming languages is now terminated, and that nothing new can be invented after completion of the design of the ultimate language X. Replace X with ADA, C, PROLOG, LOGO, Functional Programming, or more...

Collaborative Colleagues:

Franco Turini: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player