Implementation of completion by transition rules + control: ORME
- 1 January 1990
- book chapter
- Published by Springer Nature
- p. 262-269
- https://doi.org/10.1007/3-540-53162-9_44
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- AC-unification race: The system solving approach and its implementationPublished by Springer Nature ,1990
- Completion procedures as transition rules + controlPublished by Springer Nature ,1989
- Programming pearlsCommunications of the ACM, 1986
- Literate ProgrammingThe Computer Journal, 1984