MetateM: An introduction

H. Barringer; M. Fisher; D. Gabbay; G. Gough; R. Owens

doi:10.1007/BF01211631

MetateM: An introduction

H. Barringer, M. Fisher, D. Gabbay, G. Gough, R. Owens

Research output: Contribution to journal › Article › peer-review

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, called MetateM, for executing temporal formulae, is motivated and illustrated through examples. In addition, this introduction provides references to further, more detailed, work relating to the MetateM approach to executable logics. © 1995 BCS.

Original language	English
Pages (from-to)	533-549
Number of pages	16
Journal	Formal Aspects of Computing
Volume	7
Issue number	5
DOIs	https://doi.org/10.1007/BF01211631
Publication status	Published - Sept 1995

Keywords

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

Access to Document

10.1007/BF01211631

Cite this

@article{31660cf835894c3da25ca4f5ad722b2c,

title = "MetateM: An introduction",

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, called MetateM, for executing temporal formulae, is motivated and illustrated through examples. In addition, this introduction provides references to further, more detailed, work relating to the MetateM approach to executable logics. {\textcopyright} 1995 BCS.",

keywords = "Logic programming, Mechanical verification, Modal and temporal logics, Non-procedural languages, Prototyping, Reactive systems, Specification",

author = "H. Barringer and M. Fisher and D. Gabbay and G. Gough and R. Owens",

year = "1995",

month = sep,

doi = "10.1007/BF01211631",

language = "English",

volume = "7",

pages = "533--549",

journal = "Formal Aspects of Computing",

publisher = "Association for Computing Machinery",

number = "5",

}

TY - JOUR

T1 - MetateM: An introduction

AU - Barringer, H.

AU - Fisher, M.

AU - Gabbay, D.

AU - Gough, G.

AU - Owens, R.

PY - 1995/9

Y1 - 1995/9

N2 - 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, called MetateM, for executing temporal formulae, is motivated and illustrated through examples. In addition, this introduction provides references to further, more detailed, work relating to the MetateM approach to executable logics. © 1995 BCS.

AB - 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, called MetateM, for executing temporal formulae, is motivated and illustrated through examples. In addition, this introduction provides references to further, more detailed, work relating to the MetateM approach to executable logics. © 1995 BCS.

KW - Logic programming

KW - Mechanical verification

KW - Modal and temporal logics

KW - Non-procedural languages

KW - Prototyping

KW - Reactive systems

KW - Specification

U2 - 10.1007/BF01211631

DO - 10.1007/BF01211631

M3 - Article

VL - 7

SP - 533

EP - 549

JO - Formal Aspects of Computing

JF - Formal Aspects of Computing

IS - 5

ER -

MetateM: An introduction

Abstract

Keywords

Access to Document

Fingerprint

Cite this