Please use this identifier to cite or link to this item: http://scholarbank.nus.edu.sg/handle/10635/99551
Title: Logical approach for specification and execution of concurrent real-time systems
Authors: Ramirez, Rafael 
Issue Date: 1997
Source: Ramirez, Rafael (1997). Logical approach for specification and execution of concurrent real-time systems. Proceedings of the International Workshop on Real-Time Computing Systems and Applications/RTCSA : 182-185. ScholarBank@NUS Repository.
Abstract: We present a declarative logic programming based language for concurrent real-time programming. In the language, the time requirements and safety properties of programs can be explicitly stated as temporal constraints. This provides great advantages in writing concurrent real-time systems and manipulating them while preserving correctness. The language has a procedural interpretation that allows the specification to be executed, also concurrently. The language is sufficiently high-level to simulate several practical concurrent programming paradigms, and can act as kernel language in a concurrent real-time object-oriented framework.
Source Title: Proceedings of the International Workshop on Real-Time Computing Systems and Applications/RTCSA
URI: http://scholarbank.nus.edu.sg/handle/10635/99551
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

Page view(s)

13
checked on Feb 16, 2018

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.