Ada (programming language): Difference between revisions

Content deleted Content added
Citation bot (talk | contribs)
Altered doi-broken-date. | Use this bot. Report bugs. | #UCB_CommandLine
no sentence
Line 29:
}}
 
[[File:Ada Mascot with slogan.svg|thumb|Ada mascot with slogan.]]
 
'''Ada''' is a [[structured programming|structured]], [[statically typed]], [[Imperative programming|imperative]], and [[Object-oriented programming|object-oriented]] [[high-level programming language]], inspired by [[Pascal (programming language)|Pascal]] and other languages. It has built-in language support for ''[[design by contract]]'' (DbC), extremely [[Strong and weak typing|strong typing]], explicit concurrency, tasks, synchronous [[message passing]], protected [[Object (computer science)|objects]], and [[nondeterministic programming|non-determinism]]. Ada improves code safety and maintainability by using the [[compiler]] to find errors in favor of [[Runtime (program lifecycle phase)|runtime]] errors. Ada is an [[International standard|international]] [[technical standard]], jointly defined by the [[International Organization for Standardization]] (ISO), and the [[International Electrotechnical Commission]] (IEC). {{As of|May 2023}}, the standard, ISO/IEC 8652:2023, is called Ada 2022 informally.<ref name="ada-letters-june2023">{{cite journal |last1=Pinho |first1=Luis Miguel |title=From the Editor's Desk |journal=Ada Letters |volume=XLIII |number=1 |publisher=Association for Computing Machinery |date=June 2023 |page=3 |doi=10.1145/3631483 |doi-broken-date=1 July 2025 |url=https://dl.acm.org/action/showFmPdf?doi=10.1145%2F3631483}}</ref>