Articoli correlati a A Review of Ada Tasking: 262
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer
- Data di pubblicazione2008
- ISBN 10 3540180087
- ISBN 13 9783540180081
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero di pagine156
- Contatto del produttorenon disponibile
Compra usato
Condizioni: quasi ottimoAncien livre de bibliothèque. Edition...
Visualizza questo articolo
EUR 30,44
EUR 8,00 per la spedizione da Francia a Italia
Destinazione, tempi e costiCompra nuovo
Visualizza questo articolo
EUR 48,37
EUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costi
Risultati della ricerca per A Review of Ada Tasking: 262
Foto dell'editore
A Review of Ada Tasking
Editore:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1987
ISBN 10: 3540180087
ISBN 13: 9783540180081
Antico o usato
Softcover
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Softcover. Condizione: Bon. Ancien livre de bibliothèque. Edition 1987. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 1987. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo E-596-201
Quantità: 1 disponibili
Immagini fornite dal venditore
A Review of Ada Tasking
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 progra. Codice articolo 4883619
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
A Review of Ada Tasking
Editore:
Springer Berlin Heidelberg, 1987
ISBN 10: 3540180087
ISBN 13: 9783540180081
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Codice articolo 9783540180081
Quantità: 1 disponibili
Immagini fornite dal venditore
A Review of Ada Tasking
ISBN 10: 3540180087
ISBN 13: 9783540180081
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 156 pp. Englisch. Codice articolo 9783540180081
Quantità: 1 disponibili
Foto dell'editore
A Review of Ada Tasking (Lecture Notes in Computer Science, 262)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540180081_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
A Review of Ada Tasking
Editore:
Springer Berlin Heidelberg Jun 1987, 1987
ISBN 10: 3540180087
ISBN 13: 9783540180081
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 156 pp. Englisch. Codice articolo 9783540180081
Quantità: 2 disponibili
Foto dell'editore
A Review of Ada Tasking
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
PF. Condizione: New. Codice articolo 6666-IUK-9783540180081
Quantità: 10 disponibili
Foto dell'editore
A Review of Ada Tasking (Lecture Notes in Computer Science, 262)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020161578
Quantità: Più di 20 disponibili