MetateM: An introduction
- 1 September 1995
- journal article
- research article
- Published by Association for Computing Machinery (ACM) in Formal Aspects of Computing
- Vol. 7 (5) , 533-549
- https://doi.org/10.1007/bf01211631
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.Keywords
This publication has 22 references indexed in Scilit:
- From the past to the future: Executing temporal logic programsPublished by Springer Nature ,2005
- An overview of temporal and modal logic programmingPublished by Springer Nature ,2005
- A Temporal extension of PrologThe Journal of Logic Programming, 1993
- Towards a unified theory of intensional logic programmingThe Journal of Logic Programming, 1992
- Temporal logic programmingJournal of Symbolic Computation, 1989
- Temporal logic CTL + PROLOGJournal of Automated Reasoning, 1989
- The glory of the pastPublished by Springer Nature ,1985
- Towards a general theory of action and timeArtificial Intelligence, 1984
- Synthesis of Communicating Processes from Temporal Logic SpecificationsACM Transactions on Programming Languages and Systems, 1984
- Using branching time temporal logic to synthesize synchronization skeletonsScience of Computer Programming, 1982