Text Books on the Ada Programming Language
The following is a list of Ada textbooks. This list is provided for
reference information and does not constitute an endorsement.
Send
any additions to IITRI at ECLB, or call the Ada
Information
Clearinghouse
at
(703)
685-1477
or
(315)
336-2359.
--------------------------------------------------------------------Title: Programming With APSE Software Tools
Author: Roy S. Freedman
Publication date: May 1985
Publisher: PETROCELLI BOOKS, INC.
Research Park
251 Wall Street
Princeton, N.J. 08540
(609) 924-5851
Cost: $27.50 (hardcover)
ISNB: 089433-220-1
Abstract:
The book is divided into five sections, concerning (i) the
general (Stoneman) requirements associated with an APSE, (ii) the
control and invocation of APSE resources, (iii) the management of APSE
databases, (iv) APSE runtime support for incomplete and distributed
Ada programs, and (v) APSE support for Ada software portability. The
book is presented from the viewpoint of an APSE user. Each of the 21
chapters conclude with an annotated set of references and a few
exercizes for the reader. (253 pp.)
--------------------------------------------------------------------Title: Ada: Language, Compilers, and bibliography
Edited by M. W. Rogers, CEC IT Task Force, Brussels
Publication date: 1984
Publisher: Cambridge University Press
32 East 57th Street
New York, NY 10022
Cost: $17.95
ISBN:0-521-26464-2
Abstract:
This refernce guide to Ada* will be indispensable to software
engineers and programmers using Ada. It contains the reference manual
for
the Ada programming language (ANSI/MIL-STD-1815A-1983), a set of
guidelines
for Ada compiler specification and selection, and a selective
bibliography
for Ada. (438 pp.)
------------------------------------------------------------------------Title: Methods and tools for compiler construction - An advanced course.
Edited by B. Lorho, Universite' d'Orleans
Publication Date: 1984
Publisher: Cambridge University Press
32 East 57th Street
New York, NY 10022
Cost: $49.50
ISBN: 0-521-26843-5
Abstract:
This advanced course for computer scientists and engineers is
designed to study the fundamental concepts of compilers. It presents
the analytical tools and the necessary techniques used in the design
of compilers and more generally in translation procedures.
------------------------------------------------------------------------Title: Life Cycle Support in the Ada Enviroment
Written by: John A. McDermid and Knut Ripken
Publication Date: 1983
Publisher: Cambridge University Press
32 East 57th Street
New York, NY 10022
Cost: $24.95
ISBN: 0-521-26042-6
Abstract:
This book represents a first attempt at an integrated Ada
Programming
Support Environment (APSE) based on coherent methods covering all stages
of
the Software Life-Cycle. The environment supports programmers, software
engineers and their managers with harmoniously cooperating toolsets. It
presents a detailed life-cycle model, iscusses a management philosophy
compatible with that model, and gives an experimental assessment of
individual
methods. (247 pp.)
------------------------------------------------------------------------Title: Portability and Style in Ada
Edited by: John Nissen and Peter Wallis
Publication Date: 1984
Publisher: Cambridge University Press
32 East 57th Street
New York, NY 10022
Cost: $24.95
ISBN: 0-521-26482-0
Abstract:
This book contains two guides, one of the portability of Ada
programs and one on Ada programming style. The guides are the result of
work by the Ada-Europe Portability Working Group and represent the
combined expertise of some of the leading authorities on Ada. To
facilitate
use of the guides, the chapters and section numbers correspond to those
in the Reference Manual for Ada Programming Language (ANSI/MIL-STD
1815A,1983)
(202 pp.)
--------------------------------------------------------------------Title: Understanding Ada
By: Kenneth C. Shumate
Publication Date: January 1984
Publisher:
Harper & Row Publishing Co.
10 East 53rd St, Suite 3D
New York, NY 10022
Cost:
$18.22
ISBN:
0060461330
ABSTRACT:
An Ada expert introduces the language for beginning programmers
and technical managers. Comprehensive and comprehensible.
*************************************************************************
*****
Title: Ada: An Advanced Introduction Including Reference Manual for
the Ada Programming Language.
By: Narain Gehani
Publication Date: 1984
Publisher: Prentice-Hall
200 Old Tappan Road
Old Tappan, NJ 07675
Cost: $29.95
ISBN: 013003996-7
ABSTRACT:
Written for readers with a knowledge of at least one programming
language (Pascal, C, PL/I, Algol, Fortran, etc.), this volume focuses
primarily on the novel aspects of Ada -- data
encapsulation,
concurrency, generic facilities, exception handling and others.
ANSI
Standard Ada is used in the book. All programs have been tested on
the NYU Ada Compiler. Interesting differences between Ada and other
programming languages are noted.
Stepwise refinement is used to
develop programs so that the reader can easily understand design and
development.
*************************************************************************
*****
Title: Introduction to Ada
By:
David Price
Publication Date: 1984
Publisher: Prentice-Hall
200 Old Tappan Road
Old Tappan, N.J. 07675
Cost: $22.95
ISBN: 013-477653-4
ABSTRACT:
An introductory
guide to
the Ada
programming
language,
appropriate for readers with all levels of programming experience.
The text's tutorial structure starts with essential concepts and
proceeds logically to more advanced features.
All concepts are
explained in clear, understandable terms.
Extensive examples -sample programs and program fragments -- illustrate Ada usage.
Uses
the most recent definition of Ada language (1982 Department of Defense
Standard).
*************************************************************************
*****
Title: The Programming Languages, Pascal, Modula, CHILL and Ada
By:
C.H. Smedema, P. Medema and M. Boasson
Publication Date: 1984
Publisher: Prentice-Hall
200 Old Tappen Road
Old Tappan, N.J. 07675
Cost:
$16.95
ISBN:
0137-729756-4
***********************************************************************
The Ada Companion Series
By: European Editorial Board
Publication Date: 1983
Publisher: Cambridge University Press
510 North Avenue
New Rochelle, N.Y. 10801
Title:
By:
Cost:
ISBN:
Life Cycle Support in an Ada Environment
McDermid & Ripken
$24.95
0-521-26042-6
ABSTRACT:
"This book represents a first attempt at an integrated Ada
Programming Support Environment (APSE) based on coherent methods
covering all stages of the Software Life-cycle.
The environment
supports programmers, software engineers, ant their managers with
harmoniously cooperating toolsets.
The system was designed
by System Designer Ltd.,
and
TECSI-Software with the support of the Commission of the European
Communities. It presents a detailed life-cycle model, discusses a
management philosophy compatible with that model, and gives an
experimental assessment of individual methods."
Title:
By:
Cost:
ISBN:
Portability and Style in Ada
Nissen & Wallis
$24.95
0-521-26482-0
ABSTRACT:
"This book contains two guides, one on the portability of Ada
programs and one on Ada programming style. The guides are the result
of work by the Ada-Europe Portability Working Group and represent the
combined expertise of some of the leading authorities on Ada.
In the design
of Ada, compromises
were made
between
portability and freedom of the compiler implementor; also there are
features in Ada that allow
the programmer access to
machine
representations.The protability
guide discusses
the
nescessary
restrictions on the use of Ada so that truly portable programs can be
written.
Although Ada is a
significant step forward in
the
encouragement of good programming practice, it is a large language,
and so guidance is needed on how best to use the many features.
The
style guide is concerned with how Ada should be used to contribute
towards legibility, maintainability, and correctness of programs.
To
facilitate use of the guides, the chapters and section numbers
correspond to those in the Reference Manual for the Ada Programming
Language (ANSI/MIL-STD-1815A. 1983)."
*************************************************************************
*****
Title:
Ada Programming Structures With An Introduction To Structured
Concurrent Programming
By:
George Cherry
Publication Date:
November 1983
Publisher:
Reston Publishing Company
11480 Sunset Hills Road
Reston, Virginia 22090
Cost:
$15.95
ISBN:
0835901513
***********************************************************************
Title: An Introduction to Ada Paper
By:
V. Young
Publication Date: 1983
Publisher: John Wiley & Sons, Inc.
605 Third Avenue
New York, NY 10158
Cost: $26.96
ISBN: 0-27350-X
*************************************************************************
*****
Title: An Introduction to Ada
By:
Stephen Young
Publication Date: 1983
Publisher: John Wiley & Sons,Inc.
605 Third Avenue
New York, N.Y. 10158
Cost: $29.95
ISBN: 0-470-27551-0
ABSTRACT:
The contents of this new book includes chapters on the structure
of an Ada program ; notation; discrete data types, subprograms,
structured data types; discriminated types; access types, generic
program units; real data types and low level programming.
*************************************************************************
*****
Title: Ada for Programmmers
By:
Olsen & Whitehill
Publication Date:
March 1983
Publisher: Reston Publishing Company
11480 Sunset Hills Road
Reston, Virginia 22090
Cost:
$20.95
ISBN:
0835901491
***********************************************************************
Title: Beginning Programming With Ada
By:
Saxon & Fritz
Publication Date: March 1983
Publisher: Prentice Hall-Reston Books
11480 Sunset Hills Road
Reston, Virginia 22090
Cost:
$16.95 (PB)
ISBN:
0171688
************************************************************************
Title: Program Verification Using Ada
By:
A. D. McGettrick
Publication date: August, 1982
Publisher: Cambridge University Press
510 North Avenue
New Rochelle, N.Y. 10801
Cost:
$42.50 (HB)
$18.50 (PB)
ISBN:
0-521-24215-0 (HB)
0-521-28531-3 (PB)
ABSTRACT:
"This book discusses all the important facets of program
verification and guides
the reader to
a full knowledge
and
appreciation of its benefits. It uses the new programming language
Ada, adopted by the US Department of Defense as the language of
choice, to express programs and support other disscussions."
"All the apsects of Ada necessary to understand program
verification are introduced as they are needed.
The topic has
recently gained in importance because of the increasing sophistication
of
software
and
the
growing
dependence
on
computers."
************************************************************************
Title: Ada: An Introduction (Second Edition)
By:
Henry Ledgard
Publication Date:
1983
Publisher:
Springer-Verlag New York Inc.
P.O. Box 2485
Secaucus, N.J. 07094
Cost:
$14.95 (PB)
ISBN:
0-387-90814-5
ABSTRACT:
"Written just one month after the DoD language was revised...
concentrates on the numerous changes in standards, incorporating much
of the material from the reference..."
************************************************************************
Title: Ada: An Advanced Introduction
By:
Narain Gehani
Publication Date: 1983
Publisher: Prentice-Hall
200 Old Tappan Road
Old Tappan, N.J. 07675
Cost:
$19.95 (PB)
ISBN:
0-13-003962-4
ABSTRACT:
"...is especially written for readers with a knowledge of a
programming language
such as
Pascal,
C. PL/1,ALGOL
60,
or
Fortran...(The author) points out interesting differences between Ada
and other programming languages."
*************************************************************************
*
Title:
Programming in Ada
By:
Richard Wiener and Richard Sincovec
Publication Date: March, 1983
Publisher: John Wiley and Sons, Inc.
605 Third Ave.
New York, N.Y. 10158
Cost:
$25.95
ISBN:
0-471-87089-7
ABSTRACT:
The primary goal of this book is to introduce and illustrate
the major features of a new programming language, Ada. Ada builds on
many concepts of Pascal and PL/1, it is not assumed that the reader
has programmed in either of these languages, but that he has some
prior programming experience in a least one high level language such
as Fortran, Basic or Pascal.
*************************************************************************
*
Title:
Software Engineering With Modula-2 and Ada
By:
W. Wiener
Publication Date: February 1984
Publisher:
John Wiley and Sons, Inc.
605 Third Avenue
New York, N.Y. 10158
Cost:
$24.90
ISBN:
0-741-89014-6
ABSTRACT:
Object-oriented design and modular software construction are
emphasized.
The practical
state-of-the-art approach
emphasizes
application rather than theory and the "Modular Design Chart" supports
users efforts at practical design.
*************************************************************************
*
Title: Programming Embedded Systems with Ada
By:
V.A. Downes and S.J. Goldsack
Publication Date: 1982
Publisher: Prentice-Hall
200 Old Tappen Road
Old Tappen, N.J. 07675
Cost:
$30.00 (PB)
ISBN:
0-13-730010-7
*************************************************************************
**
Title: Software Engineering with Ada
By:
Grady Booch
Publication Date: 1983
Publisher: Benjamin-Cummings Publishing Company
2727 Sand Hill Road
Menlo Park, California 94025
Cost:
$22.95
ISBN:
0-8053-0600
*************************************************************************
*
Title:
By:
Studies in Ada Style (Second Edition)
Peter Hibbard, Andy Hisgen, Jonathan Rosenberg, Mary Shaw
and Mark Sherman
Publication Date: 1983
Publisher: Springer-Verlag
P.O. Box 2485
Secaucus, N.J. 07094
Cost:
$11.95
ISBN:
0-387-90816-1
ABSTRACT:
The first part of this book traces programming languages back to
their roots and then through the modern counterparts, such as Ada.
The last part examines five problems to be programmed using Ada and
discusses how Ada affects various design decisions.
*******************************************************************
Title:
Programming in Ada (Second Edition)
By:
J.G.P. Barnes
Publication Date: 1983
Publisher: Addison-Wesley
Jacob Way
Reading, MA 01867
Cost:
$19.95
ISBN:
0-201-13799-2
ABSTRACT:
This book was written for practicing programmers of embedded
computer systems, giving a full presentation of the power of Ada to
those whose working environment will be greatly changed by it during
the next few years.
Other readers will include programmers of
non-embedded systems, for whom most of the facilities will be
relevant, and teachers of programming.
*******************************************************************
Title: The Ada Programming Language
By:
Ian C. Pyle
Publication Date: 1981
Publisher: Prentice-Hall
200 Old Tappan Road
Old Tappan, N.J. 07675
Cost:
$18.95
ISBN:
0-13-003921-7
Abstract:
Incorporating all the facilities of Ada and the latest
developments in the language, this textbooks provides a comprenhensive
introduction to the new language, which was developed by the U.S.
Department of Defense. Particular stress is placed upon its use in the
programming of real-time or embedded computer systems. The book is
suitable for programmers or students who are familiar with such high
level languages as Fortran, Pascal and PL/1.
*******************************************************************
Title:
Towards a Formal Description of Ada
Lecture Notes in Computer Science #98
By:
D. Bjorner and O.N. Oest
Publication Date: 1980
Publisher: Springer-Verlag
P.O. Box 2485
Secaucus, N.J. 07094
Cost: $29.00
ISBN: 3-540-10283-3
Abstract:
The aim of this volume is to present the arguments, some of
the experiments, and the thoughts that were part of the project whose
result is also presented: namely the construction of a formal,
basically denotational semantics definition of Ada. The volume also
contributes to the field of Computer Architectures, by illustrating
how one can systematically "derive" a formal definition of
a
multi-processor computer architecture "optimally" suited for the
concurrent eexecution of Ada tasks.
*******************************************************************
Title:
An Attribute Grammar for the Semantic Analysis of Ada
Lecture Notes in Computer Science, Vol. 139
By:
J. Uhl, S. Drossopoulou, G. Persch et. al.
Publication Date: June, 1982
Publisher: Springer-Verlag New York Inc.,
P.O. Box 2485
Secaucus, N.J. 07094
Cost:
$23.10
ISBN:
3-540-11571-4
ABSTRACT:
This book contains an attribute grammar specifying the static
semantics of Ada, together with an explanatory introduction.
This
attribute grammar describes the Semantics of Ada, as published in
July, 1980.
*******************************************************************
Title: Problem Solving With Ada
By:
Brian Mayoh
Publication Date: 1983
Publisher: John Wiley and Sons
605 Third Avenue
New York, N.Y. 10158
Cost:
$17.90
ISBN:
0471-886920
*******************************************************************
Title:
Ada A Programmers Conversion Course
By:
Michael J. Stratford-Collins
Publication Date: June 1982
Publisher: John Wiley & Sons (Halsted Press Division)
605 Third Avenue
New York, N.Y. 10158
Cost:
$48.95
ISBN:
0470-273321
Abstract:
This book presents an introduction to Ada for all computing
professionals. The books offers an analysis of a simple program
fragment and investigates the control structures available to the Ada
programmer (i.e. loop, whioe, for, exit, if, case, goto and raise)
which are used to change the sequence of the statement execution from
the normal line-by-line pattern. The themes of data abstraction and
representation are expanded; a chapter is devoted to procedures and
functions and an exploration is made of Ada's features and packages
and their effects on the visibility and scoping rules.
*******************************************************************
Title: Problem Solving Principles for Ada Programmers:
Psychology, and Grit (Ada Version #5211)
By:
William E. Lewis
Publication Date: 1982
Publisher: Hayden Book Company, Inc.
50 Essex St. (Dept #CD 82)
Rochelle Park, NJ 07662
Cost:
$9.95
ISBN:
081045211-1
Applied Logic,
*******************************************************************
Title:
Programming Concepts With the Ada Language
By:
Roy S. Freedman
Publication Date: 1982
Publisher: Petrocelli Books, Inc.
1101 State Road
Princeton, NJ 08540
Cost:
$12.00
ISBN:
089433-190-6
*******************************************************************
Title: Programming with Ada: An Introduction by Means of Graduated
Examples
By:
Peter Wegner
Publication Date: 1980
Publisher: Prentice-Hall International
200 Old Tappan Road
Tappan, N.J. 07675
Cost:
$25.00
ISBN:
0-13-73-0697-0
*******************************************************************
Title:
Invitation to Ada and Ada Reference Manual
By:
Harry Katzan, Jr.
Publication Date: 1982
Publisher: Petrocelli Books, Inc.
1101 State Road
Princeton, NJ 08540
Cost:
$32.95
ISBN:
0-89433-1329
ABSTRACT:
Initiated and
developed
by
the
military
for
numerical
applications, systems
programming and
real-time programs,
the
programming language Ada has been adopted by the US Department of
Defense.
In addition
to explaining
the features,
subprogram
modularity and concurrency of the Ada language, the author emphasizes
classical programming and good programming practice. Ada incorporates
the features of a classical algorithmic language, such as Pascal,
Algol or PL/1, and the ability to model the con- current execution of
parallel tasks and service hardware and software exceptions.
*******************************************************************
Title:
Ada For Experienced Programmers
By:
A. Nico Habermann & Dewayne E. Perry
Publication Date: 1983
Publisher:
Addison Wesley
Jacob Way
Reading, MA 01867
Cost:
$19.95
ISBN:
0-201-11481-X
*************************************************************************
***
Title:
Tutorial: The Ada Programming Language
By:
Sabina H. Saib & Robert E. Fritz
Publication Date: February 1983
Publisher: IEEE Computer Society Press
1109 Spring Street
Silver Spring, Md 20910
Cost:
IEEE members $22.50 / non-members $30.00
ISBN:
0-8186-0456-5
ABSTRACT:
This tutorial brings together many early papers on the Ada
language and its environment.
It also contains tutorial papers
describing the language's most important aspects--especially those
that apply to real-time embedded systems, an area that has suffered
from a lack of high-level languages and an area the DoD designed Ada
to address.
*************************************************************************
*****
Title: THE PROGRAMMING LANGUAGE Ada, Volume # 155
By:
Henry Ledgard
Publication Date: 1984
Publisher: Springer-Verlag, Inc.
Cost:
ISBN:
P.O. Box 2485
Secaucus, N.J. 07094
$13.50
12328-8
*************************************************************************
*****
Title:
By:
Ada: Language, Compilers and Bibliography
M. W. Rogers
CEC IT Task Force, Brussels
Publication Date: August, 1984
Publisher: Cambridge University Press
32 East 57th Street
New York, N. Y. 10022
Cost: $17.95
ISBN: 0-521-26464-2
Abstract:
"This book provides essential reference material for
involved in the application of software engineering concepts
Ada. It consists of three components:
those
using
1. The reference manual for the Ada programming language
(ANSI/MILSTD-1815A-1983)
2. Guidelines for Ada compiler specification and selection.
This guide has been produced by a number of leading experts
involved in implementing Ada compilers. It lists the
characteristics of an implementation that should be taken into account
in the specification or selection of an Ada compiler.
3. A selective bibliography for Ada. This well-structured
bibliography lists the principle works on Ada, covering all
aspects from the history and evolution of the language to
the latest thinking on the many features combined for the
first time in Ada.
This is a reference volume that should never be far from the
workbench of the serious software enginer or programmer using Ada."
*************************************************************************
*****
Title: Methods and Tools for Compiler Construction
By:
B. Lorho
Universite d'Orleans
Publication Date: August 1984
Publisher: Cambridge University Press
32 East 57th Street
New York, N.Y. 10022
Cost: $49.50
ISBN: 0-521-26843-5
Abstract:
"This advanced course for computer scientists and engineers is
designed to study the fundamental concepts of compilers. It presents
the analytical tools and the necessary techniques used in the design
of compilers and more generally in translation procedures. The book
also examines the state of the art in compiler construction and
discusses
new
perspectives
in
automatic
compiler
systems
(meta-compilers).
A case study
concerning Ada compilation
is
included.
It
discusses
Ada
specification
problems,
modular
compilation of Ada, the codification of Ada compilers, and aid
systems. The book itself consists of sixteen papers presented at an
advanced course sponsored
by the Commission
of the
European
Communities and the Institut National de Recherche en Informatique et
en Automatique. The course was held in Rocquencourt in December 1983.
Two of the papers refer directly to Ada: J. Teller, "Production
Quality Ada Compilers" and J.C. Heliard, "Compiling Ada."
*************************************************************************
*****
End of Textbooks