ISSN:
1433-299X
Schlagwort(e):
Modal and temporal logics
;
Reactive systems
;
Specification
;
Prototyping
;
Mechanical verification
;
Non-procedural languages
;
Logic programming
Quelle:
Springer Online Journal Archives 1860-2000
Thema:
Informatik
Notizen:
Abstract In this paper a methodology for the use of temporal logic as an executable imperative language is introduced. The approach, which provides a concrete framework, calledMetateM, for executing temporal formulae, is motivated and illustrated through examples. In addition, this introduction provides references to further, more detailed, work relating to theMetateM approach to executable logics.
Materialart:
Digitale Medien
URL:
http://dx.doi.org/10.1007/BF01211631
Permalink