ZIB

Treffer pro Seite

Treffer 1 - 1 | 1 Treffer

Sortierung

Digitale Medien

MetateM: An introduction (1995)

Barringer, H. ; Fisher, M. ; Gabbay, D. ; [weitere]

Springer

Formal aspects of computing 7 (1995), S. 533-549

zur Merkliste hinzufügen auf der Merkliste

Details

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

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Artikel (Nationallizenzen)

Volltext

Treffer 1 - 1 | 1 Treffer