LEADER 03862nam 22005175 450 001 996466111203316 005 20200705094940.0 010 $a3-540-47241-X 024 7 $a10.1007/3-540-18008-7 035 $a(CKB)1000000000016809 035 $a(SSID)ssj0000326285 035 $a(PQKBManifestationID)11297463 035 $a(PQKBTitleCode)TC0000326285 035 $a(PQKBWorkID)10296573 035 $a(PQKB)10155513 035 $a(DE-He213)978-3-540-47241-4 035 $a(PPN)155185292 035 $a(EXLCZ)991000000000016809 100 $a20121227d1987 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 12$aA Review of Ada Tasking$b[electronic resource] /$fby Alan Burns, Andrew M. Lister, Andrew J. Wellings 205 $a1st ed. 1987. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1987. 215 $a1 online resource (X, 146 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v262 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-18008-7 327 $a1 Introduction -- 2 The Ada Tasking model -- 3 Formal aspects -- 4 Concurrent programming -- 5 Embedded systems -- 6 Distributed systems -- 7 Implementation issues -- 8 Language changes and extensions -- 9 Conclusion. 330 $aAda* is unquestionably one of the most significant programming languages to emerge in the last decade. The manner of its inception and support by the US Department of Defense (DoD) ensures that it will be used extensively for the indefinite future in programming large and complex systems. The growing availability of compilers means that many organisations are already committed to using the language for sizable and significant applications. As a perhaps inevitable result of its design goals, Ada is a "large" language. It has Pascal-like control and type constructs; a mechanism for exception handling; a package structure for information hiding, decomposition and separate compilation; facilities for low-level programming; and a tasking model of concurrency. It is perhaps this last area that has generated most debate, criticism and disagreement. The purpose of this book is to review the tasking model in the light of the extensive analysis and comment which has appeared in the literature. The review is necessarily wide-ranging, including discussion of - Ada as a general purpose concurrent programming language, - Ada as a language for embedded and distributed systems, - implementation issues, with particular reference to distributed systems, - formal semantics, specification and verification, - proposed language modifications. By consolidating this discussion within the confines of a single review, potential users of the tasking facility are enabled to familiarise themselves with all the factors which may impinge upon the performance, reliability and correctness of their software. The book also provides a focus for any debate on modifications to the Ada language, or developments from it. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v262 606 $aProgramming languages (Electronic computers) 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 615 0$aProgramming languages (Electronic computers). 615 14$aProgramming Languages, Compilers, Interpreters. 676 $a005.13 700 $aBurns$b Alan$4aut$4http://id.loc.gov/vocabulary/relators/aut$052028 702 $aLister$b Andrew M$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aWellings$b Andrew J$4aut$4http://id.loc.gov/vocabulary/relators/aut 906 $aBOOK 912 $a996466111203316 996 $aReview of ADA tasking$9878322 997 $aUNISA