rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    non sort: A
    title: review of Ada tasking
  name:
    name part: Burns, Alan
    name part: 1953-
    role:
      role term: creator
  name:
    name part: Lister, A. (Andrew)
    name part: 1945-
  name:
    name part: Wellings, Andrew J.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: bibliography
  genre: Electronic books.
  origin info:
    place:
      place term: gw
    date issued: 1987
    issuance: monographic
  language:
    language term: eng
  physical description:
    reformatting quality: preservation
    reformatting quality: access
    form: remote
    extent: 1 online resource (viii, 141 pages) : illustrations.
  abstract: 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.
  table of contents: Introduction -- The Ada Tasking Model -- Formal Aspects -- Concurrent Programming -- Embedded Systems -- Distributed Systems -- Implementation Issues -- Language Changes and Extensions -- Conclusion -- Acknowledgement -- Appendices -- References.
  note: Alan Burns, Andrew M. Lister, Andrew J. Wellings.
  note: Electronic resource.
  note: Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL
  note: digitized 2011 HathiTrust Digital Library committed to preserve pda MiAaHDL
  note: Includes bibliographical references.
  subject:
    topic: Ada (Computer program language)
  subject:
    topic: modèle tâche
  subject:
    topic: programmation ADA
  subject:
    topic: ADA
  subject:
    topic: Ada (Langage de programmation)
  subject:
    topic: Ada (Computer program language)
  subject:
    topic: ADA
  subject:
    topic: Linguagens De Programacao (Ada)
  subject:
    topic: Task
  subject:
    topic: ADA
  classification: QA76.73.A35 B87 1987
  classification: 005.13/3
  classification: 54.53
  related item:
    identifier: (DLC) 87016674
    identifier: (OCoLC)16227600
  related item:
    title info:
      title: Lecture notes in computer science ; 262
  identifier: 9783540472414 (electronic bk.)
  identifier: 354047241X (electronic bk.)
  identifier: 0387180087 (U.S.)
  identifier: 9780387180083 (U.S.)
  identifier: 3540180087 (pbk.)
  identifier: 9783540180081 (pbk.)
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: OCLCE
    record creation date: 110701
    record change date: 20260422225951.9
    record identifier: in00003499841
    language of cataloging:
      language term: eng