Programming Languages: Semantics, Design and Tools
- RK Shyamasundar and L.Y. Liu, RT-CDL: A distributed real-time design language and its operational semantics , Computer Languages, 20, 1, pp. 1-23, 1994.
-
K. Lodaya, and RK Shyamasundar,
Proof Theory of Exception Handling in a Tasking Environment,
Acta Informatica, 28, pp. 7-41, 1990.
-
LY Liu and RK Shyamasundar
Exception Handling in RT-CDL, Computer
Languages, Vol. 15, No. 3, pp. 177-192, 1990.
-
RK Shyamasundar and JW Thatcher
Language Constructs for Specifying Concurrency in CDL
IEEE Transactions on Software Engineering, Vol 15, 8, pp 977-993, August 1989
-
LY Liu and RK Shyamasundar, RT-CDL: a Real-Time Design Language and
its Semantics , 11th World Computer Congress, IFIP 89,
San Franscisco, August 1989, pp. 21-26.
-
RK Shyamasundar, J Hooman and R. Gerth
Reasoning of Real-Time Distributed Programming Languages
, 5th ACM International Workshop on Software Specification and
Design, Pittsburgh, May 1989, pp. 91-99.
-
LY Liu and RK Shyamasundar, An operational semantics of RT-CDL
, 5th ACM International Workshop on Software Specification and
Design, Pittsburgh, May 1989, pp. 75-82.