Site Navigation
Categories:
Ada programming language
Computer and telecommunication standards
Multi-paradigm programming languages
Statically-typed programming languages
Systems programming languages
ISO standards
IEC standards
.NET programming languages
Avionics Programming Language
High Integrity Programming Language
Articles lacking in-text citations
Summary Of: Ada programming language
Encyclodia Page On: Ada programming language
These Are Links To Other Documents
Paradigm
|
Multi-paradigm
|
Jean Ichbiah
|
Typing discipline
|
strong
|
safe
|
nominative
|
Major implementations
|
GNAT
|
Dialects
|
ALGOL 68
|
Pascal
|
C++
|
Smalltalk
|
Java
|
C++
|
Eiffel
|
PL/SQL
|
VHDL
|
structured
|
statically typed
|
imperative
|
object-oriented
|
high-level
|
computer
|
programming language
|
Pascal
|
Jean Ichbiah
|
CII Honeywell Bull
|
United States Department of Defense
|
US Department of Defense
|
strongly typed
|
avionics
|
Ada Lovelace
|
embedded
|
real-time
|
Intermetrics
|
object-oriented programming
|
strong typing
|
modularity mechanisms
|
run-time checking
|
parallel processing
|
exception handling
|
generics
|
object-oriented programming
|
dynamic dispatch
|
buffer overflow
|
off-by-one errors
|
anomaly
|
avionics
|
thermonuclear weapons
|
spacecraft
|
memory management
|
garbage collection
|
dangling else
|
context-free grammar
|
Pascal
|
compilation
|
ISO
|
free content
|
GNAT Programming Studio
|
US Department of Defense
|
High Order Language Working Group
|
Wikisource
|
working group
|
Steelman
|
Intermetrics
|
CII Honeywell Bull
|
Jean Ichbiah
|
SRI International
|
Augusta Ada, Countess of Lovelace
|
LIS
|
Ada Lovelace
|
C. A. R. Hoare
|
Turing Award
|
|
|
Augusta Ada King
|
commercial off-the-shelf
|
NATO
|
fly-by-wire
|
Boeing 777
|
SLOC
|
ANSI
|
ISO standard
|
US Air Force
|
GNAT
|
Compiler
|
GNU Compiler Collection
|
ISO
|
syntax
|
Hello world program
|
Alphabetical list of programming languages
|
Ada Information Clearinghouse
|
SPARK programming language
|
VHDL
|
PL/SQL
|
JOVIAL
|
Ravenscar profile
|
Comparison of programming languages
|
|
list of references
|
external links
|
inline citations
|
improve
|
where appropriate
|
ISO/IEC 8652
|
ISO/IEC 15291
|
ISO/IEC 18009
|
IEEE Standard 1003.5b-1996
|
POSIX
|
CORBA
|
IDL
|
ISBN 0-201-40376-5
|
ISBN 978-0-13-004045-9
|
John Barnes
|
ISBN 0-321-34078-7
|
John Barnes
|
ISBN 0-201-56539-0
|
John Barnes
|
ISBN 0-201-34293-6
|
John Barnes
|
ISBN 0-201-17517-7
|
John Barnes
|
ISBN 0-321-13616-0
|
ISBN 0-387-94834-1
|
Dean W. Gonzalez
|
ISBN 0-8053-2529-8
|
M. Ben-Ari
|
ISBN 0-471-97912-0
|
ISBN 0-07-011607-5
|
Alan Burns
|
Andy Wellings
|
ISBN 0-201-72988-1
|
Alan Burns
|
Andy Wellings
|
ISBN 0-521-62911-X
|
Colin Atkinson
|
ISBN 0-201-56527-7
|
Grady Booch
|
ISBN 0-8053-0608-0
|
Daniel Stubbs
|
ISBN 0-534-14448-9
|
ISBN 1-58112-034-6
|
ISBN 0-13-264680-3
|
John English
|
ISBN 0-13-230350-7
|
David A. Wheeler
|
ISBN 0-387-94801-5
|
Alexander Stepanov
|
ISBN 0-387-97133-5
|
ISBN 0-201-88795-9
|
ISBN 0-201-40363-3
|
Elliot B. Koffman
|
ISBN 0-201-36123-X
|
ISBN 0-7637-0293-5
|
John McCormick
|
ISBN 0-7637-3794-1
|
ISBN 0-553-09102-6
|
ISBN 0-521-39251-9
|
ISBN 0-13-030834-X
|
ISBN 0-13-045949-6
|
ISBN 0-314-02829-3
|
ISBN 0-13-204298-3
|
ISBN 0-07-003350-1
|
Alan Burns
|
Andy Wellings
|
ISBN 0-444-82164-3
|
ISBN 0-8053-7070-6
|
ISBN 0-8053-9055-3
|
ISBN 0-387-90814-5
|
Wikibooks
|
Open Directory Project
|
Categories
|
Ada programming language
|
Computer and telecommunication standards
|
Multi-paradigm programming languages
|
Statically-typed programming languages
|
Systems programming languages
|
ISO standards
|
IEC standards
|
.NET programming languages
|
Avionics Programming Language
|
High Integrity Programming Language
|
Articles lacking in-text citations
|
This article is licensed under the
GNU Free Documentation License
. It uses material from the
Wikipedia article "Ada programming language"
.