Technical Report 98-331, Department of Computer Science , Rice University, 1998. It is used to generate diagrams from the signature part of the specification, displaying information on object and function names, their types, and sub typing relations.
Diagrams serve to give a comprehensive view of the ontology embodied in the signature.
The separate presentation of the signature appeared useful during the development of the formal model. In later stages of the development, the signature definition and axiomatisation were combined in the presentation of the formal specification. Department of Computer Science , University of Bremen, 1995. Fr'ed'eric Benhamou, David McAllester, and Pascal Van Hentenryck. No context found.