Toggle Main Menu Toggle Search

Open Access padlockePrints

Framed temporal logic programming

Lookup NU author(s): Professor Maciej KoutnyORCiD


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.

Publication metadata

Author(s): Duan Z, Yang X, Koutny M

Publication type: Article

Publication status: Published

Journal: Science of Computer Programming

Year: 2008

Volume: 70

Issue: 1

Pages: 31-61

ISSN (print): 0167-6423

ISSN (electronic): 1872-7964

Publisher: Elsevier BV


DOI: 10.1016/j.scico.2007.09.001


Altmetrics provided by Altmetric