MetateM: An introduction

H. Barringer, M. Fisher, D. Gabbay, G. Gough, R. Owens
<span title="">1995</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="" style="color: black;">Formal Aspects of Computing</a> </i> &nbsp;
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 METAa'EM, 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. Introduction The purpose of this paper is to introduce and motivate the methodology of temporal logic
more &raquo; ... an executable imperative language, originally presented by Moszkowski [Mos86] and Gabbay [Gab87a], and to present a framework, called METATEM [BFG89a], for executing temporal logics. This methodology serves as the natural meeting ground for the declarative and imperative approaches in computing, namely imperative logic.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="">doi:10.1007/bf01211631</a> <a target="_blank" rel="external noopener" href="">fatcat:xlchty7pn5gbzh6cbefuyrslxa</a> </span>
<a target="_blank" rel="noopener" href="" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href=""> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> </button> </a>