Language peer sets for ADA/TL:
Designed 1990 ↑
1990s languages ↑
alternate simple view
Country: United States
Language for specification of the behavior of systems of communicating tasks. TL stands for temporal logic
|| Extension of
W. Hankley & J. Peters, (1989) W. Hankley & J. Peters, "A Proof Method for Ada/TL", Proceedings of the Eighth Annual National Conference on Ada Technology (March 5-8, 1990), 392-398. See also TR-CS-89-11, Department of Computing and Information Sciences, Kansas State University, 1989.
Peters, James, William Hankley, (1990) Peters, James, William Hankley, "Proving specifications of tasking systems using Ada/TL" Proceedings of the conference on TRI-ADA '90, p.4-13, December 03-06, 1990, Baltimore, Maryland, United States
W. Hankley & J. Peters, (1990) W. Hankley & J. Peters, "Temporal Specification of Ada Tasking (Version 2)," TR-CS-90-6, K.S.U., 1990.
W. Hankley & J. Peters, (1990) W. Hankley & J. Peters, "Temporal Specification of Ada Tasking"
in [Proceedings] (1990) Proceedings of the 23rd Hawaii International Conference on System Sciences (January, 1990)
Hankley, William; Peikun Tsai, (1992) Hankley, William; Peikun Tsai, "Ada/TL specification and verification of a distributed computation" pp846-855
in [ACM] (1992) Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's, March 1992, Kansas City, Missouri, United States