English
 
User Manual Privacy Policy Disclaimer Contact us
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT

Released

Book Chapter

Completion Subsystem

MPS-Authors
There are no MPG-Authors available
Locator
There are no locators available
Fulltext (public)
There are no public fulltexts available
Supplementary Material (public)
There is no public supplementary material available
Citation

Bertling, H., Ganzinger, H., Schäfers, R., Nieuwenhuis, R., & Orejas, F. (1993). Completion Subsystem. In B. Hoffmann, & B. Krieg‐Brückner (Eds.), Program Development by Specification and Transformation (pp. 460-494). Berlin: Springer.


Cite as: http://hdl.handle.net/11858/00-001M-0000-0023-C72C-2
Abstract
The paper describes the Knuth/Bendix‐like completion subsystem of the PROSPECTRA programming environment. It consists of two independent completion procedures for conditional equations. The paper introduces some of the underlying theory and contains examples that illustrate the use of these procedures.