H ?
«
‹
←
→
›
»
Language peer sets for RT-CDL:
United States↑
United States/1989↑
Designed 1989 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑
RT-CDL(ID:1520/rtc002)
alternate simple view
Country: United States
Designed 1989
Published: 1989
for Real-Time Common Design Language.
Liu and Shyamasundar, Pennsylvania State University 1986-93
Real-time language for the design of reliable reactive systems, inspired by Esterel
Related languages
References:
Liu, L. (1987) Liu, L. Y. and Shyamasundar, R. K., Specification of Real-Time Programs in RT-CDL, IEEE Fourth Workshop on Real-Time Operating Systems, Cambridge, MA., July 1987, 110-119.
L Y H Liu and R. K. Shyamasundar (1988) L Y H Liu and R. K. Shyamasundar "Static analysis of real-time distributed systems" Proceedings of a Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems Warwick, United Kingdom 1988
pp134-141 Springer-Verlag New York, Inc
Liu, L. (1988) Liu, L. Y. and Shyamasundar. R. K., Programming for Real-Time Reliable Reactive Systems, Technical Report, Penn. State University, University Park, PA 16802, 1988.
Liu, L. (1988) Liu, L. Y. and Shyamasundar. R. K., Static Detection for Deadlocks, Distributed Terminations, and Timing Errors of Real-Time Distributed Programs, Technical Report, Penn. State University, University Park, PA 16802 , 1988.
Liu, L. Y. H. and Shyamasundar, R. K. (1989) Liu, L. Y. H. and Shyamasundar, R. K. "An operational semantics of real time design language RT-CDL" Proceedings of the 5th International Workshop on Software Specifications & Design Pittsburgh, Pennsylvania, United States 1989 pp75-82
Abstract
DOI
Extract:
Motivation and Related Work
Liu, L.Y. et al, (1989) Liu, L.Y. et al, "RT-CDL: A Real-Time Description Language and Its Semantics", pp.19-26
in (1989) 11th World Computer Congress IFIP '89 (Sep 1989)
Liu, L. Y. and R. K. Shyamasundar (1990) Liu, L. Y. and R. K. Shyamasundar "Exception handling in RT-CDL"
in (1990) Computer Languages 15(3)
Liu, L. Y. and R. K. Shyamasundar (1994). (1994) Liu, L. Y. and R. K. Shyamasundar (1994). "RT-CDL: A distributed real-time design language and its operational semantics."
in (1994) Computer Languages 20(1)
Search in:
Google
Google scholar
World Cat
Yahoo
Overture
DBLP
Monash bib
NZ
IEEE 
ACM portal
CiteSeer
CSB
ncstrl
jstor
Bookfinder
|