The LISP7O Pattern Matching System

Tesler, Lawrence G.; Enea, Horace J.; Smith, David Canfield

The LISP7O Pattern Matching System

Lawrence G. Tesler, Horace J. Enea, David Canfield Smith

Download BibTeX Cite

Proceedings of the Third International Joint Conference on Artificial Intelligence. Hardware and Software for A.I.. Pages 671-675.

Abstract

LISP70 is a descendant of LISP which emphasizes patterndirected computation and extensibility. A function can be defined by a set of pattern rewrite rules as well as by the normal LAMBDA method. New rewrite rules can be added to a previously defined function; thus a LISP70 function is said to be "extensible". It is possible to have new rules merged in automatically such that special cases are checked before general cases. Some of the facilities of the rewrite system are described and a variety of applications are demonstrated.

Lawrence G. Tesler, Horace J. Enea, and David Canfield Smith. 1973. The LISP7O Pattern Matching System. In Proceedings of the Third International Joint Conference on Artificial Intelligence, IJCAI-73. IJCAI, 671–675. https://ijcai.org/proceedings/1973/83

@inproceedings{ijcai1973p83,
  title     = {The LISP7O Pattern Matching System},
  author    = {Tesler, Lawrence G. and Enea, Horace J. and Smith, David Canfield},
  booktitle = {Proceedings of the Third International Joint Conference on
               Artificial Intelligence, {IJCAI-73}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Nils J. Nilsson},
  pages     = {671--675},
  year      = {1973},
  month     = {8},
  note      = {Hardware and Software for A.I.},
  url       = {https://ijcai.org/proceedings/1973/83},
}

TY  - CPAPER
TI  - The LISP7O Pattern Matching System
AU  - Tesler, Lawrence G.
AU  - Enea, Horace J.
AU  - Smith, David Canfield
T2  - Proceedings of the Third International Joint Conference on Artificial Intelligence, IJCAI-73
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1973
SP  - 671
EP  - 675
UR  - https://ijcai.org/proceedings/1973/83
ER  -