A review of Ada tasking
Ada* 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 growin...
সংরক্ষণ করুন:
| প্রধান লেখক: | , , |
|---|---|
| বিন্যাস: | Livre numérique |
| ভাষা: | Anglais |
| প্রকাশিত: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| মালা: | Lecture notes in computer science
262 |
| বিষয়গুলি: | |
| অনলাইন ব্যবহার করুন: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| টীকা: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • A review of Ada tasking, Alan Burns, Andrew M. Lister, Andrew J. Wellings, 1987, Berlin, Springer-Verlag, 1 vol. (VIII-141 p.), Lecture notes in computer science, 3-540-18008-7 • A Review of Ada Tasking, Texte imprimé, 9783662185537 |
| LEADER | 04103nam a22003977a 4500 | ||
|---|---|---|---|
| 001 | 944357 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155185292 | ||
| 020 | |a 9783540472414 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 005.133 | ||
| 100 | 1 | |a Burns, Alan, |d 1953- | |
| 245 | 1 | 0 | |a A review of Ada tasking |c edited by Alan Burns, Andrew M. Lister, Andrew J. Wellings. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 262 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 1 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a Ada* 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. | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Ada (langage de programmation) | ||
| 700 | 1 | |a Lister, Andrew M., |d 1945- |4 aut | |
| 700 | 1 | |a Wellings, Andrew J. |4 aut | |
| 776 | 0 | |0 020333544 |t A review of Ada tasking |f Alan Burns, Andrew M. Lister, Andrew J. Wellings |d 1987 |c Berlin |n Springer-Verlag |p 1 vol. (VIII-141 p.) |s Lecture notes in computer science |z 3-540-18008-7 | |
| 776 | 0 | |t A Review of Ada Tasking |b Texte imprimé |z 9783662185537 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-18008-7 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-SRS2QV95-1 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747920419 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-18008-7 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750932899 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-18008-7 |z Accès INSA CVL | |
| 997 | |0 944357 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||