H ? « ‹ ← → › »

Language peer sets for ADA/TL:
United States↑
United States/1990↑
Designed 1990 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

ADA/TL(ID:4658/ada023)

alternate simple view
Country: United States
Designed 1990

Language for specification of the behavior of systems of communicating tasks. TL stands for temporal logic
Related languages
Ada → ADA/TL   Extension of
References:
  • 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 Abstract DOI
  • 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
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder