H ? « »

Language peer sets for MagmaLISP:
Designed 1975
1970s languages
Fourth generation
High Cold War
Genus Lazy Evaluation LISPs
String and List Processing
Lazy Evaluation LISPs
Lambda caculus
Lazy Evaluation LISPs/1975
Lambda caculus/1975
Lazy Evaluation LISPs/Italy
Lambda caculus/Italy
String and List Processing
String and List Processing/1975
String and List Processing/it


alternate simple view
Country: Italy
Designed 1975
Published: 1975
Genus: Lazy Evaluation LISPs
Sammet category: String and List Processing

From Magma (the set notation symbol)

"Lisp dialect, running on the IBM 370/158 under VM/370; Magma-Lisp provides a flexible state saving and restoring mechanism which supports the context tree"

Related languages
LISP 1.5 MagmaLISP   Extension of
PLANNER MagmaLISP   Influence
MagmaLISP Magma2   Built on
MagmaLISP ND-Lisp   Extension of

  • Asirelli, P.; et al.: MAGMA LISP, Reference Manual (1975) Asirelli, P.; et al.: MAGMA LISP, Reference Manual, Istituto di Elabor. d. Inform. del C.N.R., Nota Tecn. C75-13, Pisa, Dic. 1975
  • Mantagero, C. et al (1975) Mantagero, C. et al "MagmaLISP: A Machine Language for Artificial Intelligence" pp.556-561.
          in [Proceedings] (1975) IJCAI-75 Proceedings of the 4th International Joint Conference on Artificial Intelligence, 1975 Tbilisi, USSR
  • Montangero, C.; Pacini, G.; Turini, F. (1977) Montangero, C.; Pacini, G.; Turini, F. "Two-level control structure for nondeterministic programming" pp725-730 Extract: ND-Lisp Primitives
          in [ACM] (1977) [ACM] CACM 20(10) October 1977
  • Tumni, F. (1983) Tumni, F. Abstraction of control environments; An example. Bit 23, (1983), 21-35.
          in [ACM] (1977) [ACM] CACM 20(10) October 1977
  • Turini, Franco (1984) Turini, Franco "Magma2: A Language Oriented Toward Experiments in Control" 468-486 Extract: INTRODUCTION Extract: A FORMAL MODEL OF MAGMA2
          in TOPLAS 6(4) October 1984 Lecture Notes in compute (1984) TOPLAS 6(4) October 1984 Lecture Notes in computer science Vol. 174
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder