Ada (programming language)

Summary

Ada is a structured, statically typed, imperative, and object-oriented high-level programming language, inspired by Pascal and other languages. It has built-in language support for design by contract (DbC), extremely strong typing, explicit concurrency, tasks, synchronous message passing, protected objects, and non-determinism. Ada improves code safety and maintainability by using the compiler to find errors in favor of runtime errors. Ada is an international technical standard, jointly defined by the International Organization for Standardization (ISO), and the International Electrotechnical Commission (IEC). , the standard, called Ada 2012 informally, is ISO/IEC 8652:2012. Ada was originally designed by a team led by French computer scientist Jean Ichbiah of Honeywell under contract to the United States Department of Defense (DoD) from 1977 to 1983 to supersede over 450 programming languages used by the DoD at that time. Ada was named after Ada Lovelace (1815–1852), who has been cre

Official source

https://en.wikipedia.org/wiki/Ada_(programming_language)

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related publications (28)

Related publications

Related people

Related units

Related concepts (109)

Related concepts

Related courses (4)

Related courses

Related lectures (3)

Related lectures

Ada 9X-the revised definition of the Ada programming language-provides support for object-oriented programming. This course examines the new, object-oriented features of the language, their use, and how they fit into Ada's strong type system and genericity mechanisms. Basic object-oriented mechanisms are covered, such as: extension, inheritance, and polymorphism. We then show how to integrate these mechanisms into good programming practice; topics include incremental programming, heterogeneous data structures, and mixin inheritance. The running theme is design for reuse.

ACM Press1993

Object-Oriented Programming with Ada 9X

ACM Press1993

Ada 9X, la d finition r vis e du langage de programmation Ada, int gre la programmation par objets. Cet article examine les nouvelles caract ristiques du langage propres la programmation par objets, leur utilisation et leur int gration avec le typage fort de Ada. Nous couvrons les m canismes fondamentaux li s aux objets, tels que l'h ritage et le polymorphisme. Nous montrons ensuite comment combiner ces m canismes en de pr cieuses pratiques de programmation, comme la programmation par extension, les structures de donn es h t rog nes, et l'h ritage par mixin. Ada 9X, the revised definition of the Ada programming language, supports object-oriented programming. This paper examines the new, object-oriented features of the language, their use, and how they fit into Ada's strong type system. Basic object-oriented mechanisms are covered, such as inheritance and polymorphism. We then show how to combine these mechanisms into valuable programming techniques; topics include programming by extension, heterogeneous data structures, and mixin inheritance.

1994