Please use this identifier to cite or link to this item:
|Title:||Logical approach for specification and execution of concurrent real-time systems||Authors:||Ramirez, Rafael||Issue Date:||1997||Citation:||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.
checked on Oct 12, 2019
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.