Lookup NU author(s): Professor Maciej Koutny
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
A Projection Temporal Logic is discussed and some of its laws are given. After that, an executable temporal logic programming language, called Framed Tempura, is formalized. A minimal model-based approach for framing in temporal logic programming is presented. Since framing destroys monotonicity, canonical models-used to define the semantics of non-framed programs-are no longer appropriate. To deal with this, a minimal model theory is developed, using which the temporal semantics of framed programs is captured. The existence of a minimal model for a given framed program is demonstrated. A synchronous communication mechanism for concurrent programs is provided by means of the framing technique and minimal model semantics. © 2007 Elsevier B.V. All rights reserved.
Author(s): Duan Z, Yang X, Koutny M
Publication type: Article
Publication status: Published
Journal: Science of Computer Programming
ISSN (print): 0167-6423
ISSN (electronic): 1872-7964
Publisher: Elsevier BV
Altmetrics provided by Altmetric