An Attribute grammar for the semantic analysis of ADA /

DIANA : an intermediate language for ADA /
Published: (1983)

The Programming language Ada* : reference manual.
Published: (1983)

The Programming language Ada : reference manual : proposed standard document, United States Department of Defense.
Published: (1981)

Ada-Europe '93 : 12th Ada-Europe International Conference, "Ada Sans Frontières", Paris, France, June 14-18, 1993 : proceedings /
Published: (1993)

Reference manual for the Ada programming language /
Published: (1983)

Ada 95 rationale : the language, the standard libraries /
Published: (1995)

Ada : moving towards 2000 : 11th Ada-Europe International Conference, Zandvoort, the Netherlands, June 1-5, 1992 : proceedings /
Published: (1992)

Ada in Europe : First International Eurospace-Ada-Europe Symposium, Copenhagen, Denmark, September 26-30, 1994 : proceedings /
Published: (1994)

Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings /
Published: (1984)

Ada 95 quality and style /
Published: (1995)

Applied semantics : International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : advanced lectures /
Published: (2002)

Concepts and semantics of programming languages 2 : modular and object-oriented constructs with Ocaml, Python, C++, Ada and Java /
by: Hardin, Thérèse, et al.
Published: (2021)

Reliable software technologies : Ada-Europe 2004 : 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004 : proceedings /
Published: (2004)

Reliable software technologies : Ada-Europe 2001 : 6th Ada-Europe International Conference on Reliable Software Technologies, Leuven, Belgium, May 14-18, 2001 : proceedings /
Published: (2001)

Mathematical foundations of programming semantics : 7th international conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings /
Published: (1992)

Syntax-directed semantics : formal models based on tree transducers /
by: Fülöp, Zoltán, 1955-
Published: (1998)

Data structures and algorithms : an object-oriented approach using Ada 95 /
by: Beidler, John, 1941-
Published: (1997)

ADA : language and methodology /
by: Watt, David A. (David Anthony)
Published: (1987)

Consolidated Ada reference manual : language and standard libraries : international standard ISO/IEC 8652/1995(E) with technical corrigendum 1 /
Published: (2001)

HRT-HOOD : a structured design method for hard real-time Ada systems /
by: Burns, Alan, 1953-
Published: (1995)

Logic of domains /
by: Zhang, Guo-Qiang, 1960-
Published: (1991)

International Symposium on Programming : proceedings of the fourth Colloque international sur la programmation, Paris, 22-24 April 1980 /
Published: (1980)

Compiling natural semantics /
by: Pettersson, Mikael
Published: (1999)

Data structures of Pascal, Algol 68, PL/1, and Ada /
by: Lewi, Johan
Published: (1986)

Complementary definitions of programming language semantics /
by: Donahue, James E. (James Edward), 1947-
Published: (1976)

Programming in Ada 2022 /
by: Barnes, J. G. P. (John Gilbert Presslie)
Published: (2024)

Programming in ADA /
by: Tremblay, Jean-Paul, 1938-
Published: (1990)

Introduction to Ada /
by: Price, David A. (David Andrew), 1961-
Published: (1984)

Ada : towards maturity /
Published: (1993)

Programming in Ada : a first course /
by: Clark, Robert G. (Robert George), 1944-
Published: (1985)

Ada : language, compilers, and bibliography /
Published: (1984)

Rationale for the design of the Ada programming language /
Published: (1991)

Ada, an advanced introduction /
by: Gehani, Narain, 1947-
Published: (1983)

A review of Ada tasking /
by: Burns, Alan, 1953-
Published: (1987)

Invitation to Ada & Ada reference manual (July 1980) /
by: Katzan, Harry
Published: (1982)

Reference manual for the Ada® programming language.
Published: (1983)