ALBERT — All Library Books, journals and Electronic Records Telegrafenberg

Hits per page

hit 1 - 1 | 1 hit

Sorting

Electronic Resource

MetateM: An introduction (1995)

Barringer, H. ; Fisher, M. ; Gabbay, D. ; [et al.]

Springer

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

add to mindlist on the mindlist

Details

ISSN: 1433-299X

Keywords: Modal and temporal logics ; Reactive systems ; Specification ; Prototyping ; Mechanical verification ; Non-procedural languages ; Logic programming

Source: Springer Online Journal Archives 1860-2000

Topics: Computer Science

Notes: 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.

Type of Medium: Electronic Resource

URL: http://dx.doi.org/10.1007/BF01211631

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

Paper (German National Licenses)

Fulltext

hit 1 - 1 | 1 hit