ePrints

Framed temporal logic programming

Lookup NU author(s): Professor Maciej KoutnyORCiD

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Abstract

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

URL: http://dx.doi.org/10.1016/j.scico.2007.09.001

DOI: 10.1016/j.scico.2007.09.001

Altmetrics

Share