Previous Issues
Volume :24 Issue : 1 1997
Add To Cart
Download
Operational Semantics Oriented Specification
Auther : PETER BACHMANN
Cottbus University of Technology, P.O. Box 10 13 44, D-03013 Cottbus
E-mail:pb@informatik.tu-cottbus.de
ABSTRACT
The main idea of an Operational Semantics Oriented Specification is to specify algorithms instead of functions. Here, the term represents a state of a calculation as well as a data-object. A confluent transition relation on terms describes the behaviour of the computation. Such a transition relation may be the model of a specification. Weak and strong models are distinguished where the strong models take the sequence of the specification rules into consideration. By a combination of rewriting. With a special form of narrowing, a prototype of models is given which allows the carrying out. specifications. It is shown how confluence in hierarchical specifications can be guaranteed also for non terminating transition relations.