Kuwait-University-Journal-of-Law-header
Search
Kuwait Journal of Science

Previous Issues

Advance Search
Year : From To Vol
Issue Discipline:
Author

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.

Kuwait Journal of Science
Journal of Law

You are Visitor No.

55661

Journal of Law
Journal of Law
Tell your friendsJournal of Law
Journal of Law

Last Updated

Jun 19, 2012

Journal of Law
Journal of Law
Journal of Law

Please enter your email Here to receive our news

Journal of Law