Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Programming --- Ada (Computer program language) --- Ada (Computer program language). --- Ada (Langage de programmation)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Ada (Computer program language) --- Ada (Langage de programmation) --- Ada (Computer program language). --- language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- 681.3*D32 language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- 681.3*D32 --- #KVIV --- Programming --- Ada [Langage de programmation]. --- Ada [Programmatietaal].

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Programming --- Ada (Computer program language) --- Parallel processing (Electronic computers) --- 681.3*D13 --- 681.3*D32 --- High performance computing --- Multiprocessors --- Parallel programming (Computer science) --- Supercomputers --- Programming languages (Electronic computers) --- Concurrent programming --- language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- Ada (Computer program language). --- Parallel processing (Electronic computers). --- 681.3*D32 language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- 681.3*D13 Concurrent programming --- Parallele programmatie [Elektronische informatieverwerking] --- Ada [Langage de programmation]. --- Programmation parallèle [Traitement automatique de l'information] --- Ada [Programmatietaal]

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

Programming --- Ada (Computer program language) --- Ada (Langage de programmation) --- 681.3*C24 --- 681.3*D13 --- 681.3*D32 --- Distributed systems: distributed databases; distributed applications; networkoperating systems --- Concurrent programming --- language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- 681.3*D32 language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- 681.3*D13 Concurrent programming --- 681.3*C24 Distributed systems: distributed databases; distributed applications; networkoperating systems --- Computer science. --- Programming Languages, Compilers, Interpreters. --- Informatics --- Science --- Ada programming language

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Programming --- Ada (Computer program language) --- Electronic digital computers --- Ada (Langage de programmation) --- Programmation des ordinateurs --- Software Engineering --- Software engineering --- #TCPW:boek --- 681.3*D2 --- 681.3*D32 --- 681.3*D34 --- Computer software engineering --- Engineering --- Programming languages (Electronic computers) --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- Processors: code generation; compilers; interpreters; optimization; parsing; preprocessors; run-time environments; translator writing systems and compilergenerators (Programming languages) --- 681.3*D34 Processors: code generation; compilers; interpreters; optimization; parsing; preprocessors; run-time environments; translator writing systems and compilergenerators (Programming languages) --- 681.3*D32 language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51}