A framed temporal logic programming language

We discuss the projection temporal logic (PTL), based on a primitive projection operator,prj. A framing technique is also presented, using which a synchronization operator,await, is defined within the underlying logic. A framed temporal logic programming language (FTLL) is presented. To illustrate h...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Journal of computer science and technology Ročník 19; číslo 3; s. 341 - 351
Hlavní autori: Duan, Zhen-Hua, Koutny, Maciej
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Beijing Springer Nature B.V 01.05.2004
Xidian University, Xi'an 710071, P.R. China
Laboratory of Computer Science, ISCAS, Beijing 100080, P.R. China%University of Newcastle upon Tyne, Newcastle upon Tyne NE1 7RU, U.K
Predmet:
Framing
Logic
Logic programming
Programming languages
Projection
Synchronism
Synchronization
Temporal logic
temporal logic
projection
temporal logic programming
frame
concurrency
ISSN:1000-9000, 1860-4749
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí:We discuss the projection temporal logic (PTL), based on a primitive projection operator,prj. A framing technique is also presented, using which a synchronization operator,await, is defined within the underlying logic. A framed temporal logic programming language (FTLL) is presented. To illustrate how to use both the language and framing technique, some examples are given.
Bibliografia:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ObjectType-Article-2
ObjectType-Feature-1
content type line 23
ISSN:1000-9000
1860-4749
DOI:10.1007/BF02944904