Framed temporal logic programming

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, ca...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Science of computer programming Ročník 70; číslo 1; s. 31 - 61
Hlavní autori: Duan, Zhenhua, Yang, Xiaoxiao, Koutny, Maciej
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Elsevier B.V 2008
Predmet:
Communication
Framing
Minimal model
Monotonicity
Semantics
Synchronization
Temporal logic programming
Minimal model
Semantics
Temporal logic programming
Framing
Synchronization
Monotonicity
Communication
ISSN:0167-6423, 1872-7964
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí: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.
ISSN:0167-6423
1872-7964
DOI:10.1016/j.scico.2007.09.001