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
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
|