MetateM: An introduction
Howard Barringer, Michael Fisher, Michael Gabbay, Graham Gough, Richard Owens · Formal Aspects of Computing · 1995
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 theMetateMapproach to executable logics.