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ženo v:
Podrobná bibliografie
Vydáno v:Journal of computer science and technology Ročník 19; číslo 3; s. 341 - 351
Hlavní autoři: Duan, Zhen-Hua, Koutny, Maciej
Médium: Journal Article
Jazyk:angličtina
Vydáno: 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
Témata:
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 přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
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.
Bibliografie: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