A COMPILER FOR AN ASSOCIATIVE OBJECT MACHINE.
MICHIGAN UNIV ANN ARBOR
Pagination or Media Count:
The paper discusses the design and construction of a compiler whose source language consists of sentences of a restricted predicate calculus, and whose output object code operates on a simulated associative target machine. The source programs are characterizations of relations, used for deriving one relation from others, and for completing relations. A program realizes the completion of a relation when it defines that relation in terms of itself, i.e., when the definition is recursive. Author
- Computer Programming and Software
- Computer Hardware