H ? « ‹ ← → › »

Language peer sets for ELP:
United States↑
United States/1975↑
Designed 1975 ↑
1970s languages ↑
Fourth generation↑
High Cold War↑
Specialised Languages ↑
Specialised Languages/1975↑
Specialised Languages/us ↑

ELP(ID:1138/elp002)

alternate simple view
Country: United States
Designed 1975
Published: 1975
Sammet category: Specialised Languages

Equational Logic Programming

O'Donnell Semantically pure, fully lazy
Related languages
LISP 1.5 → ELP   Influence
LUCID → ELP   Influence
References:
  • O'Donnell, M J (1977) O'Donnell, M J "Computing systems described by equations" in Compunng and Systems Described by Equations, Lecture Notes in Computer Science 58, G Goos and J Hartmarns, Eds, Sprmger-Verlag, 1977
  • Hoffmann, C. M. and O'Donnell, M. I. (1979) Hoffmann, C. M. and O'Donnell, M. I. "Interpreter generation using tree pattern matching" pp169-179 Abstract
          in [POPL 1979] (1979) [ACM SIGACT-SIGPLAN] Proceedings of the 6th Annual ACM Symposium on Principles of Programming Languages, San Antonio, Texas
  • O'Donnel, Michael (1979) O'Donnel, Michael "A programming language theorem which is independent of Peano arithmetic" 11th Annual ACM Symposium on Theory of Computing, 176-186, May 1979
          in [POPL 1979] (1979) [ACM SIGACT-SIGPLAN] Proceedings of the 6th Annual ACM Symposium on Principles of Programming Languages, San Antonio, Texas
  • O'Donnell, M. A (1979) O'Donnell, M. A "Programming Language Theorem which is Independent of Peano Arithmetic" Purdue University Dept. of Computer Sciences Technical Report #299 1979
          in [POPL 1979] (1979) [ACM SIGACT-SIGPLAN] Proceedings of the 6th Annual ACM Symposium on Principles of Programming Languages, San Antonio, Texas
  • Huet G. and D. Oppen. (1980) Huet G. and D. Oppen. "Equations and rewrite rules: a survey" in R. Book, editor. Formal Languages: Perspectives and Open Problems. Academic Press, 1980
          in [POPL 1979] (1979) [ACM SIGACT-SIGPLAN] Proceedings of the 6th Annual ACM Symposium on Principles of Programming Languages, San Antonio, Texas
  • Hoffman, Christoph M. and O'Donnell, Michael J. (1982) Hoffman, Christoph M. and O'Donnell, Michael J. "Programming with Equations", ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.1, p.83-112, Jan. 1982 Abstract
          in [POPL 1979] (1979) [ACM SIGACT-SIGPLAN] Proceedings of the 6th Annual ACM Symposium on Principles of Programming Languages, San Antonio, Texas
  • Hoffmann, Christoph M. and O'Donnell, Michael J. (1982) Hoffmann, Christoph M. and O'Donnell, Michael J. "Pattern Matching in Trees" p68-95 Abstract
          in [ACM] (1982) [ACM] JACM 29(01) January 1982
  • Hoffmann, Christoph M. and O`Donnell, Michael J. (1984) Hoffmann, Christoph M. and O`Donnell, Michael J. "Implementation of an interpreter for abstract equations" pp111-121 Abstract
          in [POPL 1984] (1984) [ACM SIGACT-SIGPLAN] Proceedings of the 11th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages POPL 84 1984 , Salt Lake City, Utah, United States
  • O'Donnell, M.J. (1985) O'Donnell, M.J. "Equational Logic as a Programming Language", MIT Press 1985
          in [POPL 1984] (1984) [ACM SIGACT-SIGPLAN] Proceedings of the 11th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages POPL 84 1984 , Salt Lake City, Utah, United States
  • O'Donnell, Michael J. (1987) O'Donnell, Michael J. "Survey of the equational logic programming project" In Colloquium on Resolution of Equations in Algebraic Structures, 1987 Abstract Online copy
          in [POPL 1984] (1984) [ACM SIGACT-SIGPLAN] Proceedings of the 11th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages POPL 84 1984 , Salt Lake City, Utah, United States
  • O'Donnell, Michael J. (1987) O'Donnell, Michael J. "Term-rewriting implementation of equational logic programming" pp1-12
          in Lescanne, P. (1987) Lescanne, P. (ed) Proc. of Rewriting Techniques and Applications, Bordeaux, France, 1987. Springer-Verlag
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder