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

Full description

Saved in:
Bibliographic Details
Published in:Journal of computer science and technology Vol. 19; no. 3; pp. 341 - 351
Main Authors: Duan, Zhen-Hua, Koutny, Maciej
Format: Journal Article
Language:English
Published: 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
Subjects:
Framing
Logic
Logic programming
Programming languages
Projection
Synchronism
Synchronization
Temporal logic
temporal logic
projection
temporal logic programming
frame
concurrency
ISSN:1000-9000, 1860-4749
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
Bibliography: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