H ? « ‹ ← → › »

Language peer sets for TSL:
International↑
International/1985↑
Designed 1985 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑

TSL(ID:1371/tsl001)

Parallel Ada 

alternate simple view
Country: International
Designed 1985
Published: 1985

Task Sequencing Language.


Language for specifying sequences of tasking events in Ada programs. Implemented as a set of additions to Ada
Related languages
Ada → TSL   Extension of
References:
  • Helmbold, D., and Luckham, D.C. (1983) Helmbold, D., and Luckham, D.C. Runtime Detection and Description of Deadlock Errors in Ada Tasking. CSL Technical Report 83-249, Stanford University, November, 1983. Program Analysis and Verification Group Report 22
  • Helmbold, D. and Luckham, D.C. (1984) Helmbold, D. and Luckham, D.C. "Debugging Ada Tasking Programs" Technical Report 84-262, Stanford University, July, 1984. Program Analysis and Verification Group Report 25. Also: IEEE Computer Society 1984 Conference on Ada Applications and Environments, October 15-18, St. Paul, Minnesota.
  • Helmbold, D.P. (1985) Helmbold, D.P. and Luckham, D.C. Debugging Ada Tasking Programs. IEEE Software 2(2):47-57, March, 1985. ISSN 0740-7459.
  • Helmbold, David; Luckham, David (1985) Helmbold, David; Luckham, David "TSL: task sequencing language" Ada in Use: Proceedings of the Ada International Conference Paris, France 1985 pp255-274 Cambridge University Press, May 1985 DOI
  • (1987) "Task Sequencing Language for Specifying Distributed Ada Systems", D.C. Luckham et al in PARLE: Parallel Architectures and Langs Europe, LNCS 259, Springer 1987, pp.444-463.
  • Rosenblum, D. and D. Luckham (1989) Rosenblum, D. and D. Luckham "Testing the correctness of tasking supervisors with TSL specifications" pp187-196 Abstract DOI
          in Rosenblum, D. and D. Luckham (1989) Rosenblum, D. and D. Luckham "Testing the correctness of tasking supervisors with TSL specifications" pp187-196
  • Rosenblum, David S. (1991) Rosenblum, David S. "Specifying Concurrent Systems with TSL" IEEE Software 8(3) (May 1991) pp52-61 Abstract Online copy
          in Rosenblum, D. and D. Luckham (1989) Rosenblum, D. and D. Luckham "Testing the correctness of tasking supervisors with TSL specifications" pp187-196
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder