38:
707:, denotes comment text. Comments stop at end of line; there is intentionally no way to make a comment span multiple lines, to prevent unclosed comments from accidentally voiding whole sections of source code. Disabling a whole block of code therefore requires the prefixing of each line (or column) individually with "--". While this clearly denotes disabled code by creating a column of repeated "--" down the page, it also renders the experimental dis/re-enablement of large blocks a more drawn-out process in editors without block commenting support.
863:, a dictionary of computer hacker slang originating in 1975–1983, notes in an entry on Ada that "it is precisely what one might expect given that kind of endorsement by fiat; designed by committee...difficult to use, and overall a disastrous, multi-billion-dollar boondoggle...Ada Lovelace...would almost certainly blanch at the use her name has been latterly put to; the kindest thing that has been said about it is that there is probably a good small language screaming to get out from inside its vast, elephantine bulk."
403:
803:
5951:
2854:
5923:
1389:
definition at compile time and run time (i.e., range violations, buffer overruns, type consistency, etc.). Ada supports numerical types defined by a range, modulo types, aggregate types (records and arrays), and enumeration types. Access types define a reference to an instance of a specified type; untyped pointers are not permitted. Special types provided by the language are task types and protected types.
749:. Thus, it is a common reference for Ada programmers, not only programmers implementing Ada compilers. Apart from the reference manual, there is also an extensive rationale document which explains the language design and the use of various language constructs. This document is also widely used by programmers. When the language was revised, a new rationale document was written.
2397:
Functions differ from procedures in that they must return a value. Function calls cannot be used "as a statement", and their result must be assigned to a variable. However, since Ada 2012, functions are not required to be pure and may mutate their suitably declared parameters or the global state.
594:
Ada is designed for developing very large software systems. Ada packages can be compiled separately. Ada package specifications (the package interface) can also be compiled separately without the implementation to check for consistency. This makes it possible to detect problems early during the
576:
The syntax of Ada minimizes choices of ways to perform basic operations, and prefers
English keywords (such as "or else" and "and then") to symbols (such as "||" and "&&"). Ada uses the basic arithmetical operators "+", "-", "*", and "/", but avoids using other symbols. Code blocks are
1388:
but allows users to declare their own types. This declaration in turn is not based on the internal representation of the type but on describing the goal which should be achieved. This allows the compiler to determine a suitable memory size for the type, and to check for violations of the type
602:
checks are supported to help avoid bugs that would not be detectable until run-time in some other languages or would require explicit checks to be added to the source code. For example, the syntax requires explicitly named closing of blocks to prevent errors due to mismatched end tokens. The
838:
that
Ichbiah and his group had developed in the 1970s. The preliminary Ada reference manual was published in ACM SIGPLAN Notices in June 1979. The Military Standard reference manual was approved on December 10, 1980 (Ada Lovelace's birthday), and given the number MIL-STD-1815 in honor of Ada
2826:
is a value, a variable, a constant, a type, a subprogram, or even an instance of another, designated, generic unit. For generic formal types, the syntax distinguishes between discrete, floating-point, fixed-point, access (pointer) types, etc. Some formal parameters can have default values.
850:
Ada attracted much attention from the programming community as a whole during its early days. Its backers and others predicted that it might become a dominant language for general purpose programming and not only defense-related work. Ichbiah publicly stated that within ten years, only two
855:. Early Ada compilers struggled to implement the large, complex language, and both compile-time and run-time performance tended to be slow and tools primitive. Compiler vendors expended most of their efforts in passing the massive, language-conformance-testing, government-required
830:, led by Jay Spitzen). In April 1978, after public scrutiny, the Red and Green proposals passed to the next phase. In May 1979, the Green proposal, designed by Jean Ichbiah at Honeywell, was chosen and given the name Ada—after Augusta Ada King, Countess of Lovelace, usually known as
603:
adherence to strong typing allows detecting many common software errors (wrong parameters, range violations, invalid references, mismatched types, etc.) either during compile-time, or otherwise during run-time. As concurrency is part of the language specification, the
1222:
Despite the names Ada 83, 95 etc., legally there is only one Ada standard, the one of the last ISO/IEC standard: with the acceptance of a new standard version, the previous one becomes withdrawn. The other names are just informal ones referencing a certain edition.
1179:
Work has continued on improving and updating the technical content of the Ada language. A Technical
Corrigendum to Ada 95 was published in October 2001, and a major Amendment, ISO/IEC 8652:1995/Amd 1:2007 was published on March 9, 2007, commonly known as
2781:
Examples of common usage of compiler pragmas would be to disable certain features, such as run-time type checking or array subscript boundary checking, or to instruct the compiler to insert object code instead of a function call (as C/C++ does with
1004:, a distributed Ada database, and object-oriented design. Ada is also used in other air traffic systems, e.g., the UK's next-generation Interim Future Area Control Tools Support (iFACTS) air traffic control system is designed and implemented using
1147:. As this very first version held many errors and inconsistencies , the revised edition was published in 1983 as ANSI/MIL-STD 1815A. Without any further changes, it became an ISO standard in 1987. This version of the language is commonly known as
776:(DoD) became concerned by the number of different programming languages being used for its embedded computer system projects, many of which were obsolete or hardware-dependent, and none of which supported safe modular programming. In 1975, a
944:
By the late 1980s and early 1990s, Ada compilers had improved in performance, but there were still barriers to fully exploiting Ada's abilities, including a tasking model that was different from what most real-time programmers were used to.
2803:
Ada has had generics since it was first designed in 1977–1980. The standard library uses generics to provide many services. Ada 2005 adds a comprehensive generic container library to the standard library, which was inspired by C++'s
1187:
At the Ada-Europe 2012 conference in
Stockholm, the Ada Resource Association (ARA) and Ada-Europe announced the completion of the design of the latest version of the Ada language and the submission of the reference manual to the
799:, a series of documents stating the requirements they felt a programming language should satisfy. Many existing languages were formally reviewed, but the team concluded in 1977 that no existing language met the specifications.
1161:, the joint ISO/IEC/ANSI standard ISO/IEC 8652:1995 was published in February 1995, making it the first ISO standard object-oriented programming language. To help with the standard revision and future acceptance, the
6355:
630:, array access errors, and other detectable bugs. These checks can be disabled in the interest of runtime efficiency, but can often be compiled efficiently. It also includes facilities to help
3603:
Dewar, Robert B. K.; Fisher, Gerald A. Jr.; Schonberg, Edmond; Froelich, Robert; Bryant, Stephen; Goss, Clinton F.; Burke, Michael (November 1980). "The NYU Ada translator and interpreter".
1823:
language, meaning that the flow of control is structured into standard statements. All standard constructs and deep-level early exit are supported, so the use of the also supported "
2778:
that conveys information to the compiler to allow specific manipulating of compiled output. Certain pragmas are built into the language, while others are implementation-specific.
2766:
Each package, procedure or function can have its own declarations of constants, types, variables, and other procedures, functions and packages, which can be declared in any order.
2887:– a programming language consisting of a highly restricted subset of Ada, annotated with meta-information describing desired component behavior and individual runtime requirements
902:. Computer manufacturers who had a significant business in the defense, aerospace, or related industries, also offered Ada compilers and tools on their platforms; these included
969:
696:; also, creative use of storage pools can provide for a limited form of automatic garbage collection, since destroying a storage pool also destroys all the objects in the pool.
692:
of inaccessible objects, most implementations do not support it by default, as it would cause unpredictable behaviour in real-time systems. Ada does support a limited form of
340:
5283:
929:) for all software, though exceptions to this rule were often granted. The Department of Defense Ada mandate was effectively removed in 1997, as the DoD began to embrace
3578:
792:
the eventual programming language was named Ada. The total number of high-level programming languages in use for such projects fell from over 450 in 1983 to 37 by 1996.
1811:
etc. Private types do not show their inner structure; objects of limited types cannot be copied. Ada 95 adds further features for object-oriented extension of types.
673:
that handles the low-level details of memory management; the programmer can either use the default storage pool or define new ones (this is particularly relevant for
677:). It is even possible to declare several different access types that all designate the same type but use different storage pools. Also, the language provides for
3783:
2931:
952:
support features, it is now used not only for military applications, but also in commercial projects where a software bug can have severe consequences, e.g.,
3190:
866:
The first validated Ada implementation was the NYU Ada/Ed translator, certified on April 11, 1983. NYU Ada/Ed is implemented in the high-level set language
6464:
3295:
784:(HOLWG), was formed with the intent to reduce this number by finding or creating a programming language generally suitable for the department's and the
941:
and other functions, and Ada was the mandated or preferred language for defense-related applications in countries such as Sweden, Germany, and Canada.
847:
speech to criticize Ada for being overly complex and hence unreliable, but subsequently seemed to recant in the foreword he wrote for an Ada textbook.
577:
delimited by words such as "declare", "begin", and "end", where the "end" (in most cases) is followed by the identifier of the block it closes (e.g.,
4256:
3479:
891:
810:
Requests for proposals for a new programming language were issued and four contractors were hired to develop their proposals under the names of Red (
5276:
3204:
6469:
5655:
1597:
Important to note: Day_type, Month_type, Year_type, Hours are incompatible types, meaning that for instance the following expression is illegal:
4084:
638:
might lead to very serious consequences, e.g., accidental death, injury or severe financial loss. Examples of systems where Ada is used include
6459:
1193:
726:
473:
3439:
665:; nor does it implicitly declare any pointer type. Instead, all dynamic memory allocation and deallocation must occur via explicitly declared
6449:
6444:
5269:
5384:
4284:
5987:
5939:
3723:
2837:
parameters for each formal. The generic instance then behaves just like any other unit. It is possible to instantiate generic units at
4163:
6484:
1197:
477:
3694:
1266:, and so on. However, Ada also has many data structuring facilities and other abstractions which were not included in the original
17:
3757:
3659:
6454:
6439:
6010:
5944:
5301:
3698:
268:
1155:, from the date of its adoption by ISO. There is also a French translation; DIN translated it into German as DIN 66268 in 1988.
615:, visibility of packages, redundant declarations, etc. and can provide warnings and useful suggestions on how to fix the error.
6474:
6393:
919:
3582:
5934:
5107:
5085:
5063:
4798:
4385:
3809:
3497:
3326:
1140:
689:
384:
5497:
4304:
785:
4116:
6434:
6424:
5675:
5648:
3417:
773:
495:
235:
50:
3081:
2838:
934:
856:
3342:, in: Writing Linux Kernel Modules in Safe Rust – Geoffrey Thomas & Alex Gaynor , The Linux Foundation, 2019-10-02
3057:
498:(DoD) from 1977 to 1983 to supersede over 450 programming languages used by the DoD at that time. Ada was named after
5680:
5217:
5195:
5173:
5151:
5129:
5033:
5014:
4995:
4976:
4957:
4931:
4912:
4893:
4874:
4855:
4836:
4817:
4776:
4754:
4731:
4712:
4693:
4674:
4655:
4636:
4617:
4598:
4579:
4560:
4538:
4519:
4493:
4467:
4448:
4426:
4404:
4366:
4347:
3620:
781:
756:
tool that is used by many Ada programmers to aid them in writing Ada source code is the GNAT Programming Studio, and
462:
3787:
5685:
5205:
5183:
5161:
5139:
5117:
5095:
5073:
5051:
2920:
6310:
6138:
5573:
973:
903:
436:
360:
6429:
5980:
5954:
5886:
5759:
5641:
5379:
5324:
4263:
3941:
1299:
1279:
796:
693:
662:
4011:
1201:
6055:
5929:
5907:
5861:
5834:
5809:
5769:
5603:
5309:
5292:
4188:
3299:
1287:
911:
440:
372:
348:
336:
319:
295:
100:
2763:
Packages, procedures and functions can nest to any depth, and each can also be the logical outermost block.
1232:
Information processing systems—Computer graphics—Graphical Kernel System (GKS) language bindings—Part 3: Ada
6398:
5901:
5804:
5774:
5373:
5339:
2884:
1005:
883:
454:
275:
5876:
5871:
5814:
5794:
5527:
2859:
2796:
989:
852:
608:
566:
523:
433:
376:
352:
315:
155:
66:
62:
870:. Several commercial companies began offering Ada compilers and associated development tools, including
6315:
5819:
5715:
5568:
3269:
3212:
835:
356:
6300:
6292:
6045:
5973:
5829:
5784:
5512:
5252:
4091:
2805:
1275:
1023:
high-speed rail system, and the metro suburban trains in Paris, London, Hong Kong and New York City.
1012:
674:
6325:
6305:
5866:
5749:
5537:
5238:
4239:: Information technology—Programming languages—Ada: Conformity assessment of a language processor (
4142:
3402:
2867:
930:
344:
1658:
The predefined plus-operator can only add values of the same type, so the expression is illegal.
6153:
1227:
1173:
915:
761:
1209:
6479:
6143:
5735:
5517:
5502:
5424:
4941:
4503:
4477:
1820:
1001:
961:
949:
859:(ACVC) validation suite that was required in another novel feature of the Ada language effort.
530:
466:
450:
429:
421:
253:
180:
86:
70:
58:
54:
406:
6489:
6075:
6015:
4290:
3893:
3184:
631:
78:
3715:
3352:
3327:"Who's Using Ada? Real-World Projects Powered by the Ada Programming Language November 2014"
3234:
Fuegi, J; Francis, J (2003). "Lovelace & Babbage and the creation of the 1843 'notes'".
3160:
2881:– a subset of the Ada tasking features designed for safety-critical hard real-time computing
6403:
6337:
6116:
6025:
5664:
4167:
3647:"Ada Validated Compilers List". Ada Information Clearinghouse. July 1, 1992. pp. 1–36.
997:
711:
248:
45:
8:
6201:
6133:
6040:
5740:
4314:
1303:
1189:
993:
981:
957:
938:
907:
887:
643:
635:
562:
534:
515:
188:
82:
4296:
3975:
6060:
5555:
5522:
5398:
4486:
Real-Time
Systems and Programming Languages. Ada 95, Real-Time Java and Real-Time POSIX
4336:
3746:
3685:
3663:
3626:
3535:
3431:
3251:
2775:
2751:
This program can be compiled, e.g., by using the freely available open-source compiler
985:
980:, was written in Ada, as were the fly-by-wire systems for the aerodynamically unstable
789:
591:
that could pair with the wrong nested if-expression in other languages like C or Java.
558:
542:
484:
480:(IEC). As of May 2023, the standard, called Ada 2022 informally, is ISO/IEC 8652:2023.
469:
445:
208:
2875:– a specification for a programming environment to support software development in Ada
6350:
6272:
6158:
6050:
6035:
5720:
5369:
5334:
5261:
5213:
5191:
5169:
5147:
5125:
5103:
5081:
5059:
5029:
5010:
4991:
4972:
4953:
4927:
4908:
4889:
4870:
4851:
4832:
4813:
4794:
4772:
4750:
4727:
4708:
4689:
4670:
4651:
4632:
4613:
4594:
4575:
4556:
4534:
4515:
4489:
4463:
4444:
4422:
4400:
4381:
4362:
4343:
4229:: Information technology—Programming languages—Ada Semantic Interface Specification (
3616:
3553:
3493:
2878:
827:
658:
538:
279:
74:
37:
3630:
3339:
3255:
1246:-like programming language featuring control structures with reserved words such as
6239:
6148:
6087:
6065:
5621:
5460:
5419:
4414:
3856:
3839:
3835:
3813:
3608:
3527:
3485:
3481:
SIGAda '10: Proceedings of the ACM SIGAda annual international conference on SIGAda
3421:
3243:
3172:
996:. The Canadian Automated Air Traffic System was written in 1 million lines of Ada (
651:
627:
570:
554:
546:
453:, explicit concurrency, tasks, synchronous message passing, protected objects, and
425:
195:
3539:
6123:
6111:
6070:
5996:
3605:
Proceeding of the ACM-SIGPLAN symposium on Ada programming language – SIGPLAN '80
3435:
2783:
1385:
1283:
860:
623:
550:
511:
107:
90:
1367:
This program can be compiled by using the freely available open source compiler
1215:
On May 2, 2023, the Ada community saw the formal approval of publication of the
6365:
6247:
6219:
6168:
6030:
5440:
4742:
2981:
1824:
1016:
647:
619:
522:
between 1992 and 1995, improved support for systems, numerical, financial, and
201:
3377:
3247:
1151:, from the date of its adoption by ANSI, but is sometimes referred to also as
6418:
6370:
6282:
5839:
5547:
5450:
5404:
5319:
5314:
4945:
4507:
4481:
3002:
823:
777:
753:
587:
402:
258:
MapuSoft Ada-C/C++ changer, formerly known as "AdaMagic with C Intermediate",
176:
3531:
3489:
3106:
3085:
3050:
1208:. A technical corrigendum, ISO/IEC 8652:2012/COR 1:2016, was published (see
1136:
Preliminary Ada can be found in ACM Sigplan
Notices Vol 14, No 6, June 1979
6267:
6080:
5891:
5730:
5532:
5455:
5445:
4786:
4764:
4280:
3016:
2394:
Among the parts of an Ada program are packages, procedures and functions.
1162:
925:
In 1991, the US Department of
Defense began to require the use of Ada (the
844:
831:
819:
811:
746:
599:
519:
499:
487:
115:
5243:
4531:
Object-Oriented Reuse, Concurrency and
Distribution: An Ada-Based Approach
4060:
4035:
3987:
3964:
3917:
3868:
3843:
3612:
3478:
Sward, Ricky E. (November 2010). "The rise, fall and persistence of Ada".
3426:
634:. For these reasons, Ada is sometimes used in critical systems, where any
6380:
6320:
6128:
5475:
5465:
5394:
5344:
4548:
4331:
1271:
968:
and other space systems, railway transport and banking. For example, the
895:
491:
184:
171:
5633:
4397:
Data
Structures and Algorithms: An Object-Oriented Approach Using Ada 95
3942:"Ada 95 Language Reference Manual (original) – Ada Resource Association"
3579:"Ada Compiler Validation Summary Report: NYU Ada/ED, Version 19.7 V-001"
802:
6360:
6186:
6020:
5799:
5507:
5470:
5409:
4436:
4275:
These documents have been published in various forms, including print.
3398:
977:
840:
612:
4240:
3687:
Ada, the New DoD Weapon System
Computer Language – Panacea or Calamity
6257:
5896:
5389:
4246:
4236:
4226:
1662:
965:
815:
502:(1815–1852), who has been credited as the first computer programmer.
307:
299:
5239:
DOD Ada programming language (ANSI/MIL STD 1815A-1983) specification
4230:
3176:
2853:
6214:
6106:
6097:
5965:
5615:
5609:
5591:
5354:
4950:
HRT-HOOD: A Structured Design Method for Hard Real-Time Ada Systems
4220:
2956:
1267:
1169:
953:
875:
639:
604:
458:
368:
311:
291:
5210:
High Integrity Software: The SPARK Approach to Safety and Security
4791:
Ada Plus Data Structures: An Object-Oriented Approach, 2nd edition
788:'s requirements. After many iterations beginning with an original
6375:
6262:
6252:
6191:
6178:
5789:
5779:
5414:
5329:
2692:-- package initialization executed when the package is elaborated
704:
518:
systems. The Ada 95 revision, designed by S. Tucker Taft of
388:
6277:
6209:
5856:
5824:
5708:
1009:
899:
364:
4283:; Barnes, John G. P.; Firth, Robert J.; Woodger, Mike (1986),
5764:
5754:
5725:
5703:
5585:
4260:
4250:
3657:
3131:
1286:. Such constructs were in part inherited from or inspired by
1243:
879:
871:
681:, both at compile time and at run time, that ensures that an
380:
332:
303:
260:
5248:
3602:
457:. Ada improves code safety and maintainability by using the
6229:
6224:
6163:
5846:
4164:"Ada 83 LRM, Appendix/Annex B: Predefined Language Pragmas"
2872:
2752:
1368:
1166:
867:
757:
700:
661:
is high-level and type-safe. Ada has no generic or untyped
392:
243:
4969:
Ada: An Introduction to the Art and Science of Programming
3270:"Concurrency – Chapter 6 – Ada 95 QUALITY AND STYLE Guide"
1184:
because work on the new standard was finished that year.
443:
and other languages. It has built-in language support for
5881:
5851:
5489:
4665:
Musser, David R.; Stepanov, Alexander (24 October 1989).
4279:
1020:
933:(COTS) technology. Similar requirements existed in other
5233:
4886:
Introduction to Software Design and Development With Ada
4667:
The Ada Generic Library: Linear List Processing Packages
4342:. California: The Benjamin/Cummings Publishing Company.
4286:
Rationale for the Design of the Ada Programming Language
3298:. Government Computer News. pp. 2–3. Archived from
622:
checks to protect against access to unallocated memory,
222:
3154:
3152:
3040:
Ada Rationale, 1986, pp. 23, 70, 110–114, 137, 165, 236
992:
and the DFCS replacement flight control system for the
937:
countries: Ada was required for NATO systems involving
5291:
4306:
Ada 95 rationale: the language: the standard libraries
1384:
Ada's type system is not based on a set of predefined
27:
High-level programming language first released in 1980
4722:
Feldman, Michael B.; Koffman, Elliot B. (1992–1993).
4686:
Software Construction and Data Structures with Ada 95
4610:
Distributed Programming in Ada with Protected Objects
3784:"GNAT Pro Chosen for UK's Next Generation ATC System"
2389:
1802:-- lookup table for working hours with initialization
729:
standards, the Ada language definition (known as the
688:
Though the semantics of the language allow automatic
3149:
2849:
2815:
is a package or a subprogram that takes one or more
2210:-- case statements have to cover all possible cases:
685:
cannot outlive the type of the object it points to.
483:
Ada was originally designed by a team led by French
4721:
3455:
1293:
585:). In the case of conditional blocks this avoids a
5078:Programming in Ada 2012 with a Preview of Ada 2022
4848:Software Systems Construction With Examples in Ada
4763:
4572:Ada in Action: With Practical Programming Examples
4335:
4223:: Information technology—Programming languages—Ada
4012:"Ada Reference Manual, ISO/IEC 8652:2007(E) Ed. 3"
3747:"Usage of Ada in the Gripen Flight Control System"
3518:Rosen, J-P. (August 2009). "The Ada Paradox(es)".
2957:"Commercial software solutions for Ada, C and C++"
5144:Programming in Ada plus Language Reference Manual
3189:: CS1 maint: DOI inactive as of September 2024 (
2306:-- output string representation of an enumeration
722:without a statement to terminate is not allowed.
6416:
4591:Data Structures with Abstract Data Types and Ada
3456:Watt, D.A.; Wichmann, B.A.; Findlay, W. (1987).
4966:
4648:Ada 95 the Craft of Object-Oriented Programming
3513:
3511:
3509:
3294:Taft, S. Tucker; Olsen, Florence (1999-06-30).
834:. This proposal was influenced by the language
4767:; Weems, Chip; McCormick, John (August 1996).
4741:
4664:
4646:English, John; Culwin, Fintan (January 1997).
1219:edition of the programming language standard.
1194:International Organization for Standardization
1172:. Presently, the GNAT Compiler is part of the
474:International Organization for Standardization
5981:
5649:
5277:
5249:Ada Programming Language Materials, 1981–1990
4988:Data Structures and Algorithm Analysis in Ada
4940:
4867:Introduction to Abstract Data Types Using Ada
4829:Distributed Ada: Developments and Experiences
4785:
4645:
4502:
4476:
3642:
3640:
3171:(1). Association for Computing Machinery: 3.
2401:Example: Package specification (example.ads)
1392:For example, a date might be represented as:
611:Compilers also commonly check for misspelled
4905:Developing Safety Systems: A Guide Using Ada
3658:Ada Information Clearinghouse (1983-04-11).
3576:
3506:
3320:
3318:
3316:
3233:
3017:"Ada 95 Certified Processors List – Details"
851:programming languages would remain: Ada and
714:, and the null or no-operation statement is
595:design phase, before implementation starts.
5024:Bjørner, Dines; Oest, Ole N., eds. (1980).
5023:
4967:Savitch, Walter; Peterson, Charles (1992).
4769:Programming and Problem Solving with Ada 95
4588:
1204:) was published in December 2012, known as
6465:Programming languages with an ISO standard
5988:
5974:
5922:
5656:
5642:
5284:
5270:
4547:
4214:
3637:
3378:"John Goodenough | SEI Staff Profile"
3353:"DoD – Strawman Requirements – April 1975"
1200:(IEC) for approval. ISO/IEC 8652:2012(see
553:, protected objects, and nondeterministic
5663:
4356:
3425:
3313:
3293:
1198:International Electrotechnical Commission
478:International Electrotechnical Commission
4990:. Benjamin-Cummings Publishing Company.
4971:. Benjamin-Cummings Publishing Company.
4702:
4528:
4462:. McGraw-Hill Science/Engineering/Math.
4421:. Benjamin-Cummings Publishing Company.
4413:
3695:Air University (United States Air Force)
3554:"THIS IS THE JARGON FILE, VERSION 2.6.2"
3473:
3471:
3469:
3467:
3340:no safe dynamic memory management in ADA
801:
5244:JTC1/SC22/WG9 ISO home of Ada Standards
5004:
4810:Developing With Ada: Life-Cycle Methods
4724:Ada: Problem Solving and Program Design
4683:
4589:Stubbs, Daniel; Webre, Neil W. (1993).
4435:
4394:
3833:
3704:from the original on December 15, 2019.
3236:IEEE Annals of the History of Computing
2324:-- check of a subtype of an enumeration
14:
6470:Statically typed programming languages
6417:
5204:
5188:High Integrity Ada: The SPARK Approach
5182:
5160:
5138:
5116:
5094:
5072:
5050:
4864:
4845:
4826:
4626:
4375:
4312:
4302:
3683:
3397:
2833:a generic unit, the programmer passes
1237:
1139:Ada was first published in 1980 as an
920:Siemens Nixdorf Informationssysteme AG
826:, led by John Goodenough) and Yellow (
6460:Programming languages created in 1980
5969:
5637:
5265:
4985:
4921:
4807:
4607:
4569:
4457:
4330:
3517:
3477:
3464:
3296:"Ada helps churn out less-buggy code"
3158:
2797:Generic programming § Generics in Ada
1814:
669:. Each access type has an associated
6450:Multi-paradigm programming languages
5995:
5009:(second ed.). Springer-Verlag.
4902:
4883:
3744:
806:Watercolour painting of Ada Lovelace
6445:High Integrity Programming Language
5026:Towards a Formal Description of Ada
4793:. Jones & Bartlett Publishers.
4771:. Jones & Bartlett Publishers.
4166:. Archive.adaic.com. Archived from
3807:
3781:
3418:Association for Computing Machinery
3324:
2904:see Summary of Ada Language Changes
1832:-- while a is not equal to b, loop.
607:can in some cases detect potential
496:United States Department of Defense
24:
5044:
4257:Ada Language Mapping Specification
3726:from the original on 15 April 2021
3607:. Vol. 15. pp. 194–201.
2937:from the original on 18 April 2016
2390:Packages, procedures and functions
1661:Types can be refined by declaring
1026:
857:Ada Compiler Validation Capability
25:
6501:
5227:
3754:The Special Interest Group on Ada
3329:. SIGAda Education Working Group.
1807:Types can have modifiers such as
1697:-- at most 12 Hours to work a day
1298:A common example of a language's
960:, commercial rockets such as the
814:led by Benjamin Brosgol), Green (
782:High Order Language Working Group
6485:High-level programming languages
5950:
5949:
5921:
4924:Artificial Intelligence With Ada
4705:Ada 95 for C and C++ Programmers
3763:from the original on 15 Jan 2024
3445:from the original on 2016-03-04.
3159:Pinho, Luis Miguel (June 2023).
3132:"SparForte Programming Language"
3051:"Chapel spec (Acknowledgements)"
2852:
2795:This section is an excerpt from
1226:Other related standards include
1126:
1112:
1098:
1084:
1059:
839:Lovelace's birth year. In 1981,
565:. Ada 95 added support for
510:Ada was originally designed for
401:
36:
6311:Light-weight Linux distribution
6139:Hacking of consumer electronics
5574:Comparison of Pascal and Delphi
4608:Ledru, Pascal (December 1998).
4378:Ada: A Guided Tour and Tutorial
4181:
4156:
4135:
4109:
4077:
4053:
4028:
4004:
3980:
3969:
3958:
3934:
3910:
3886:
3861:
3857:Summary of Ada Language Changes
3850:
3827:
3801:
3775:
3738:
3708:
3677:
3660:"The Congressional Ada Mandate"
3651:
3596:
3570:
3546:
3449:
3391:
3370:
3345:
3333:
3287:
3262:
3227:
3197:
3124:
3063:from the original on 2022-10-09
2898:
904:Concurrent Computer Corporation
437:high-level programming language
6455:Programming language standards
6440:Avionics programming languages
5102:. Cambridge University Press.
5080:. Cambridge University Press.
5058:. Cambridge University Press.
4831:. Cambridge University Press.
4514:. Cambridge University Press.
4264:interface description language
4143:"Ada 83 LRM, Sec 2.8: Pragmas"
4061:"ISO/IEC 8652:2012/Cor 1:2016"
3988:"ISO/IEC 8652:1995/Amd 1:2007"
3205:"The Ada Programming Language"
3099:
3074:
3043:
3034:
3009:
2995:
2974:
2949:
2913:
1165:funded the development of the
797:Steelman language requirements
694:region-based memory management
13:
1:
6475:Systems programming languages
4745:; Koffman, Elliot B. (1999).
4629:Ada, a Developmental Approach
4553:Software Engineering with Ada
4338:Software Engineering with Ada
4209:
3965:ISO/IEC 8652:1995/Corr 1:2001
3581:. Waltham, MA. Archived from
3458:Ada: Language and Methodology
2366:-- access into a lookup table
2240:"none of the above"
1943:"Condition not met"
1827:" commands is seldom needed.
1379:
1000:count). It featured advanced
970:Primary Flight Control System
912:Digital Equipment Corporation
6399:List of open-source hardware
4827:Bishop, Judy (10 May 1990).
4684:Feldman, Michael B. (1997).
4270:
3834:Ichbiah, J. D. (June 1979).
3684:Babiak, Nicholas J. (1989).
3003:"MapuSoft Ada-C/C++ changer"
2841:, for example inside a loop.
1757:-- implicit type declaration
1008:Ada. It is also used in the
884:Advanced Computer Techniques
7:
5293:Pascal programming language
5028:. London: Springer-Verlag.
4303:Barnes, John G. P. (1995),
3577:SofTech Inc. (1983-04-11).
3403:"The Emperor's Old Clothes"
2860:Computer programming portal
2845:
2789:
2477:Package body (example.adb)
2276:-- loop over an enumeration
990:Lockheed Martin F-22 Raptor
567:object-oriented programming
524:object-oriented programming
505:
461:to find errors in favor of
251:Optimising Ada 95 compiler,
138:; 44 years ago
10:
6506:
6435:.NET programming languages
6425:Ada (programming language)
6316:Real-time operating system
5569:Comparison of Pascal and C
5255:, University of Minnesota.
4986:Weiss, Mark Allen (1993).
4789:; McCormick, John (2007).
4441:Ada for Software Engineers
4247:IEEE Standard 1003.5b-1996
2794:
2769:
2638:"The total is: "
1809:limited, abstract, private
767:
626:errors, range violations,
6389:
6336:
6301:Linux on embedded systems
6291:
6238:
6200:
6177:
6096:
6003:
5917:
5694:
5671:
5564:
5546:
5488:
5433:
5362:
5353:
5300:
5253:Charles Babbage Institute
4812:. Bantam Dell Pub Group.
4574:. John Wiley & Sons.
4443:. John Wiley & Sons.
4419:Ada Programmer's Handbook
4359:Ada 95 From the Beginning
3410:Communications of the ACM
3248:10.1109/MAHC.2003.1253887
2817:generic formal parameters
2806:standard template library
2333:" to work for "
1916:"Condition met"
1350:"Hello, world!"
1032:Timeline of Ada language
739:Language Reference Manual
710:The semicolon (";") is a
675:Non-Uniform Memory Access
529:Features of Ada include:
472:, jointly defined by the
398:
331:
326:
290:
285:
274:
267:
241:
233:
217:
207:
194:
170:
166:
154:
150:
132:
106:
96:
44:
35:
6306:Linux for mobile devices
5538:Visual Component Library
5234:Ada Resource Association
4808:Krell, Bruce C. (1992).
4703:Johnston, Simon (1997).
4570:Jones, Do-While (1989).
4529:Atkinson, Colin (1991).
4460:Ada as a Second Language
4323:
3894:"Ada 83 LRM, Front Page"
3526:(2). ACM SIGAda: 28–35.
3161:"From the Editor's Desk"
3056:. Cray Inc. 2015-10-01.
2891:
2824:generic formal parameter
2757:
2479:
2403:
1829:
1667:
1599:
1394:
1373:
1308:
931:commercial off-the-shelf
774:US Department of Defense
650:, banking, military and
18:Ada programming language
6154:PlayStation 3 Jailbreak
5122:Programming in Ada 2005
5100:Programming in Ada 2012
5056:Programming in Ada 2022
5005:Ledgard, Henry (1983).
4627:Culwin, Fintan (1997).
4357:Skansholm, Jan (1996).
4215:International standards
3532:10.1145/1620593.1620597
3490:10.1145/1879063.1879081
1997:"Iteration: "
1174:GNU Compiler Collection
976:system software in the
916:Harris Computer Systems
762:GNU Compiler Collection
537:mechanisms (packages),
6144:Homebrew (video games)
5518:Object Windows Library
4865:Hillam, Bruce (1994).
4551:; Bryan, Doug (1994).
4458:Cohen, Norman (1996).
4395:Beidler, John (1997).
4376:Gilpin, Geoff (1985).
4316:Rationale for Ada 2005
4313:Barnes, John (2006) ,
3810:"Look Who's Using Ada"
3179:(inactive 2024-09-11).
2759:gnatmake-zexample.adb
1821:structured programming
1294:"Hello, world!" in Ada
1002:distributed processing
843:took advantage of his
807:
786:UK Ministry of Defence
703:("--"), resembling an
494:under contract to the
256:ApexAda and ObjectAda,
161:Ada 2022 / May 2023
114:MIL-STD-1815, Ada 83:
6430:Programming languages
6338:Programming languages
6076:Single-board computer
6016:Board support package
5665:Programming languages
5166:Programming in Ada 95
4922:Baker, Louis (1989).
4903:Pyle, Ian C. (1991).
3844:10.1145/956650.956651
3836:"ACM Sigplan Notices"
3613:10.1145/948632.948659
3427:10.1145/358549.358561
3107:"The Griffin Project"
1102:8652:1995/Amd 1:2007
805:
760:which is part of the
126:Ada 2012: Tucker Taft
123:Ada 2005: Tucker Taft
6404:Open-source robotics
6394:Lightweight browsers
6117:Proprietary firmware
6026:Consumer electronics
5007:Ada: An Introduction
4884:Rudd, David (1994).
4612:. Dissertation.com.
4266:(IDL) to Ada mapping
731:Ada Reference Manual
712:statement terminator
679:accessibility checks
632:program verification
249:Green Hills Software
6134:Defective by Design
6041:Embedded hypervisor
4846:Sanden, Bo (1994).
4743:Feldman, Michael B.
4669:. Springer-Verlag.
4399:. Springer-Verlag.
4145:. Archive.adaic.com
4036:"ISO/IEC 8652:2012"
3976:Ada 95 RM with TC 1
3918:"ISO/IEC 8652:1995"
2921:"Ada2012 Rationale"
2719:Print_and_Increment
2686:Print_and_Increment
2530:Print_and_Increment
2442:Print_and_Increment
1868:"Waiting"
1304:Hello world program
1238:Language constructs
1190:ISO/IEC JTC 1/SC 22
1033:
994:Grumman F-14 Tomcat
982:Eurofighter Typhoon
958:air traffic control
939:command and control
908:Cray Research, Inc.
888:Tartan Laboratories
737:, or sometimes the
644:air traffic control
543:parallel processing
535:modular programming
209:Filename extensions
133:First appeared
120:Ada 95: Tucker Taft
32:
6202:Software libraries
5556:Pascal MicroEngine
5212:. Addison-Wesley.
5190:. Addison-Wesley.
5168:. Addison-Wesley.
5146:. Addison-Wesley.
5124:. Addison-Wesley.
4749:. Addison-Wesley.
4726:. Addison-Wesley.
4707:. Addison-Wesley.
4688:. Addison-Wesley.
4555:. Addison-Wesley.
4533:. Addison-Wesley.
4512:Concurrency in Ada
4488:. Addison-Wesley.
4361:. Addison-Wesley.
3838:. pp. 1–145.
3697:. pp. 39–40.
3484:. pp. 71–74.
3325:Feldman, Michael.
3209:University of Mich
2776:compiler directive
1815:Control structures
1375:gnatmakehello.adb
1031:
808:
795:HOLWG crafted the
790:straw-man proposal
690:garbage collection
618:Ada also supports
598:A large number of
559:exception handling
485:computer scientist
470:technical standard
465:errors. Ada is an
446:design by contract
136:February 1980
30:
6412:
6411:
6351:Assembly language
6293:Operating systems
6273:Stand-alone shell
6240:Programming tools
6159:Rooting (Android)
6051:Embedded software
6036:Embedded database
5963:
5962:
5945:Non-English-based
5631:
5630:
5484:
5483:
5335:Concurrent Pascal
5109:978-1-107-42481-4
5087:978-1-009-18134-1
5065:978-1-009-56477-9
4952:. North-Holland.
4907:. Prentice Hall.
4869:. Prentice Hall.
4850:. Prentice Hall.
4800:978-0-7637-3794-8
4650:. Prentice Hall.
4631:. Prentice Hall.
4415:Gonzalez, Dean W.
4387:978-0-13-004045-9
4380:. Prentice hall.
4121:learn.adacore.com
4085:"Ada Syntax Card"
3898:archive.adaic.com
3499:978-1-4503-0027-8
3136:www.sparforte.com
2879:Ravenscar profile
1210:RM 2012 with TC 1
1134:
1133:
1046:ISO/IEC Standard
948:Because of Ada's
828:SRI International
772:In the 1970s the
659:memory management
628:off-by-one errors
583:loop ... end loop
555:select statements
539:run-time checking
449:(DbC), extremely
415:
414:
280:Ravenscar profile
172:Typing discipline
16:(Redirected from
6497:
6149:iOS jailbreaking
6066:Memory footprint
5997:Embedded systems
5990:
5983:
5976:
5967:
5966:
5953:
5952:
5925:
5924:
5658:
5651:
5644:
5635:
5634:
5622:Component Pascal
5582:
5461:Microsoft Pascal
5420:Pic Micro Pascal
5360:
5359:
5286:
5279:
5272:
5263:
5262:
5223:
5201:
5179:
5157:
5135:
5113:
5091:
5069:
5039:
5020:
5001:
4982:
4963:
4937:
4918:
4899:
4880:
4861:
4842:
4823:
4804:
4782:
4760:
4737:
4718:
4699:
4680:
4661:
4642:
4623:
4604:
4585:
4566:
4544:
4525:
4499:
4473:
4454:
4432:
4410:
4391:
4372:
4353:
4341:
4319:
4309:
4294:
4289:, archived from
4281:Ichbiah, Jean D.
4203:
4202:
4200:
4199:
4185:
4179:
4178:
4176:
4175:
4160:
4154:
4153:
4151:
4150:
4139:
4133:
4132:
4130:
4128:
4113:
4107:
4106:
4104:
4102:
4096:
4090:. Archived from
4089:
4081:
4075:
4074:
4072:
4071:
4057:
4051:
4050:
4048:
4047:
4032:
4026:
4025:
4023:
4022:
4008:
4002:
4001:
3999:
3998:
3984:
3978:
3973:
3967:
3962:
3956:
3955:
3953:
3952:
3938:
3932:
3931:
3929:
3928:
3914:
3908:
3907:
3905:
3904:
3890:
3884:
3883:
3881:
3880:
3865:
3859:
3854:
3848:
3847:
3831:
3825:
3824:
3822:
3821:
3812:. Archived from
3805:
3799:
3798:
3796:
3795:
3786:. Archived from
3779:
3773:
3772:
3770:
3768:
3762:
3751:
3742:
3736:
3735:
3733:
3731:
3722:. 16 June 1999.
3716:"Agile thinking"
3712:
3706:
3705:
3703:
3692:
3681:
3675:
3674:
3672:
3671:
3662:. Archived from
3655:
3649:
3648:
3644:
3635:
3634:
3600:
3594:
3593:
3591:
3590:
3574:
3568:
3567:
3565:
3564:
3558:
3550:
3544:
3543:
3515:
3504:
3503:
3475:
3462:
3461:
3460:. Prentice-Hall.
3453:
3447:
3446:
3444:
3429:
3407:
3395:
3389:
3388:
3386:
3385:
3374:
3368:
3367:
3365:
3363:
3349:
3343:
3337:
3331:
3330:
3322:
3311:
3310:
3308:
3307:
3291:
3285:
3284:
3282:
3280:
3266:
3260:
3259:
3231:
3225:
3224:
3222:
3220:
3211:. Archived from
3201:
3195:
3194:
3188:
3180:
3156:
3147:
3146:
3144:
3142:
3128:
3122:
3121:
3119:
3117:
3103:
3097:
3096:
3094:
3093:
3084:. Archived from
3078:
3072:
3071:
3069:
3068:
3062:
3055:
3047:
3041:
3038:
3032:
3031:
3029:
3027:
3013:
3007:
3006:
3005:. 16 April 2019.
2999:
2993:
2992:
2990:
2989:
2978:
2972:
2971:
2969:
2967:
2953:
2947:
2946:
2944:
2942:
2936:
2925:
2917:
2905:
2902:
2862:
2857:
2856:
2784:inline functions
2747:
2744:
2741:
2738:
2735:
2732:
2729:
2726:
2723:
2720:
2717:
2714:
2711:
2708:
2705:
2702:
2699:
2696:
2693:
2690:
2687:
2684:
2681:
2678:
2675:
2672:
2669:
2666:
2663:
2660:
2657:
2654:
2651:
2648:
2645:
2642:
2639:
2636:
2633:
2630:
2627:
2624:
2621:
2618:
2615:
2612:
2609:
2606:
2603:
2600:
2597:
2594:
2591:
2588:
2585:
2582:
2579:
2576:
2573:
2570:
2567:
2564:
2561:
2558:
2555:
2552:
2549:
2546:
2543:
2540:
2537:
2534:
2531:
2528:
2525:
2522:
2519:
2516:
2513:
2510:
2507:
2504:
2501:
2498:
2495:
2492:
2489:
2486:
2483:
2473:
2470:
2467:
2464:
2461:
2458:
2455:
2452:
2449:
2446:
2443:
2440:
2437:
2434:
2431:
2428:
2425:
2422:
2419:
2416:
2413:
2410:
2407:
2385:
2382:
2379:
2376:
2373:
2370:
2367:
2364:
2361:
2358:
2355:
2352:
2349:
2346:
2343:
2340:
2337:
2334:
2331:
2328:
2325:
2322:
2319:
2316:
2313:
2310:
2307:
2304:
2301:
2298:
2295:
2292:
2289:
2286:
2283:
2280:
2277:
2274:
2271:
2268:
2265:
2262:
2259:
2256:
2253:
2250:
2247:
2244:
2241:
2238:
2235:
2232:
2229:
2226:
2223:
2220:
2217:
2214:
2211:
2208:
2205:
2202:
2199:
2196:
2193:
2190:
2187:
2184:
2181:
2178:
2175:
2172:
2169:
2166:
2163:
2160:
2157:
2154:
2151:
2148:
2145:
2142:
2139:
2138:"zero"
2136:
2133:
2130:
2127:
2124:
2121:
2118:
2115:
2112:
2109:
2106:
2103:
2100:
2097:
2094:
2091:
2088:
2085:
2082:
2079:
2076:
2073:
2070:
2067:
2064:
2061:
2058:
2055:
2052:
2049:
2046:
2043:
2040:
2037:
2034:
2031:
2028:
2025:
2022:
2019:
2016:
2013:
2010:
2007:
2004:
2001:
1998:
1995:
1992:
1989:
1986:
1983:
1980:
1977:
1974:
1971:
1968:
1965:
1962:
1959:
1956:
1953:
1950:
1947:
1944:
1941:
1938:
1935:
1932:
1929:
1926:
1923:
1920:
1917:
1914:
1911:
1908:
1905:
1902:
1899:
1896:
1893:
1890:
1887:
1884:
1881:
1878:
1875:
1872:
1869:
1866:
1863:
1860:
1857:
1854:
1851:
1848:
1845:
1842:
1839:
1836:
1833:
1803:
1800:
1797:
1794:
1791:
1788:
1785:
1782:
1779:
1776:
1773:
1770:
1767:
1764:
1761:
1758:
1755:
1752:
1749:
1746:
1743:
1740:
1737:
1734:
1731:
1728:
1725:
1722:
1719:
1716:
1713:
1710:
1707:
1704:
1701:
1698:
1695:
1692:
1689:
1686:
1683:
1680:
1677:
1674:
1671:
1654:
1651:
1648:
1645:
1642:
1639:
1636:
1633:
1630:
1627:
1624:
1621:
1618:
1615:
1612:
1609:
1606:
1603:
1593:
1590:
1587:
1584:
1581:
1578:
1575:
1572:
1569:
1566:
1563:
1560:
1557:
1554:
1551:
1548:
1545:
1542:
1539:
1536:
1533:
1530:
1527:
1524:
1521:
1518:
1515:
1512:
1509:
1506:
1503:
1500:
1497:
1494:
1491:
1488:
1485:
1482:
1479:
1476:
1473:
1470:
1467:
1464:
1461:
1458:
1455:
1452:
1449:
1446:
1443:
1440:
1437:
1434:
1431:
1428:
1425:
1422:
1419:
1416:
1413:
1410:
1407:
1404:
1401:
1398:
1363:
1360:
1357:
1354:
1351:
1348:
1345:
1342:
1339:
1336:
1333:
1330:
1327:
1324:
1321:
1318:
1315:
1312:
1272:type definitions
1034:
1030:
721:
717:
652:space technology
571:dynamic dispatch
426:statically typed
405:
229:
226:
224:
146:
144:
139:
108:Designed by
40:
33:
29:
21:
6505:
6504:
6500:
6499:
6498:
6496:
6495:
6494:
6415:
6414:
6413:
6408:
6385:
6332:
6287:
6234:
6196:
6173:
6124:Closed platform
6112:Custom firmware
6092:
6071:Microcontroller
5999:
5994:
5964:
5959:
5913:
5690:
5667:
5662:
5632:
5627:
5580:
5560:
5542:
5480:
5429:
5349:
5296:
5290:
5259:
5230:
5220:
5198:
5176:
5154:
5132:
5110:
5088:
5066:
5047:
5045:Further reading
5042:
5036:
5017:
4998:
4979:
4960:
4934:
4926:. McGraw-Hill.
4915:
4896:
4888:. Brooks Cole.
4877:
4858:
4839:
4820:
4801:
4779:
4757:
4734:
4715:
4696:
4677:
4658:
4639:
4620:
4601:
4593:. Brooks Cole.
4582:
4563:
4541:
4522:
4496:
4470:
4451:
4429:
4407:
4388:
4369:
4350:
4326:
4295:Also available
4273:
4217:
4212:
4207:
4206:
4197:
4195:
4189:"Generic Units"
4187:
4186:
4182:
4173:
4171:
4162:
4161:
4157:
4148:
4146:
4141:
4140:
4136:
4126:
4124:
4115:
4114:
4110:
4100:
4098:
4094:
4087:
4083:
4082:
4078:
4069:
4067:
4059:
4058:
4054:
4045:
4043:
4034:
4033:
4029:
4020:
4018:
4010:
4009:
4005:
3996:
3994:
3986:
3985:
3981:
3974:
3970:
3963:
3959:
3950:
3948:
3940:
3939:
3935:
3926:
3924:
3916:
3915:
3911:
3902:
3900:
3892:
3891:
3887:
3878:
3876:
3869:"ISO 8652:1987"
3867:
3866:
3862:
3855:
3851:
3832:
3828:
3819:
3817:
3806:
3802:
3793:
3791:
3780:
3776:
3766:
3764:
3760:
3749:
3743:
3739:
3729:
3727:
3714:
3713:
3709:
3701:
3690:
3682:
3678:
3669:
3667:
3656:
3652:
3646:
3645:
3638:
3623:
3601:
3597:
3588:
3586:
3575:
3571:
3562:
3560:
3556:
3552:
3551:
3547:
3516:
3507:
3500:
3476:
3465:
3454:
3450:
3442:
3405:
3396:
3392:
3383:
3381:
3376:
3375:
3371:
3361:
3359:
3351:
3350:
3346:
3338:
3334:
3323:
3314:
3305:
3303:
3292:
3288:
3278:
3276:
3268:
3267:
3263:
3232:
3228:
3218:
3216:
3203:
3202:
3198:
3182:
3181:
3177:10.1145/3631483
3157:
3150:
3140:
3138:
3130:
3129:
3125:
3115:
3113:
3105:
3104:
3100:
3091:
3089:
3080:
3079:
3075:
3066:
3064:
3060:
3053:
3049:
3048:
3044:
3039:
3035:
3025:
3023:
3015:
3014:
3010:
3001:
3000:
2996:
2987:
2985:
2982:"PTC ObjectAda"
2980:
2979:
2975:
2965:
2963:
2955:
2954:
2950:
2940:
2938:
2934:
2923:
2919:
2918:
2914:
2909:
2908:
2903:
2899:
2894:
2858:
2851:
2848:
2843:
2842:
2800:
2792:
2772:
2761:
2760:
2755:, by executing
2749:
2748:
2745:
2742:
2739:
2736:
2733:
2730:
2727:
2724:
2721:
2718:
2715:
2712:
2709:
2706:
2703:
2700:
2697:
2694:
2691:
2688:
2685:
2682:
2679:
2676:
2673:
2670:
2667:
2664:
2661:
2658:
2655:
2652:
2649:
2646:
2643:
2640:
2637:
2634:
2631:
2628:
2625:
2622:
2619:
2616:
2613:
2610:
2607:
2604:
2601:
2598:
2595:
2592:
2589:
2586:
2583:
2580:
2577:
2574:
2571:
2568:
2565:
2562:
2559:
2556:
2553:
2550:
2547:
2544:
2541:
2538:
2535:
2532:
2529:
2526:
2523:
2520:
2517:
2514:
2511:
2508:
2505:
2502:
2499:
2496:
2493:
2490:
2487:
2484:
2481:
2475:
2474:
2471:
2468:
2465:
2462:
2459:
2456:
2453:
2450:
2447:
2444:
2441:
2438:
2435:
2432:
2429:
2426:
2423:
2420:
2417:
2414:
2411:
2408:
2405:
2392:
2387:
2386:
2383:
2380:
2377:
2374:
2371:
2368:
2365:
2362:
2359:
2356:
2353:
2350:
2347:
2344:
2341:
2338:
2335:
2332:
2329:
2326:
2323:
2320:
2317:
2314:
2311:
2308:
2305:
2302:
2299:
2296:
2293:
2290:
2287:
2284:
2281:
2278:
2275:
2272:
2269:
2266:
2263:
2260:
2257:
2254:
2251:
2248:
2245:
2242:
2239:
2236:
2233:
2230:
2227:
2224:
2221:
2218:
2215:
2212:
2209:
2206:
2204:"two"
2203:
2200:
2197:
2194:
2191:
2188:
2185:
2182:
2179:
2176:
2173:
2171:"one"
2170:
2167:
2164:
2161:
2158:
2155:
2152:
2149:
2146:
2143:
2140:
2137:
2134:
2131:
2128:
2125:
2122:
2119:
2116:
2113:
2110:
2107:
2104:
2101:
2098:
2095:
2092:
2089:
2086:
2083:
2080:
2077:
2074:
2071:
2068:
2065:
2062:
2059:
2056:
2053:
2050:
2047:
2044:
2041:
2038:
2035:
2032:
2029:
2026:
2023:
2020:
2017:
2014:
2011:
2008:
2005:
2002:
1999:
1996:
1993:
1990:
1987:
1984:
1981:
1978:
1975:
1972:
1969:
1966:
1963:
1960:
1957:
1954:
1951:
1948:
1945:
1942:
1939:
1936:
1933:
1930:
1927:
1924:
1921:
1918:
1915:
1912:
1909:
1906:
1903:
1900:
1897:
1894:
1891:
1888:
1885:
1882:
1879:
1876:
1873:
1870:
1867:
1864:
1861:
1858:
1855:
1852:
1849:
1846:
1843:
1840:
1837:
1834:
1831:
1817:
1805:
1804:
1801:
1798:
1795:
1792:
1789:
1786:
1783:
1780:
1777:
1774:
1771:
1768:
1765:
1762:
1759:
1756:
1753:
1750:
1747:
1744:
1741:
1738:
1735:
1732:
1729:
1727:-- Days to work
1726:
1723:
1720:
1717:
1714:
1711:
1708:
1705:
1702:
1699:
1696:
1693:
1690:
1687:
1684:
1681:
1678:
1675:
1672:
1669:
1656:
1655:
1652:
1649:
1646:
1643:
1640:
1637:
1634:
1631:
1628:
1625:
1622:
1619:
1616:
1613:
1610:
1607:
1604:
1601:
1595:
1594:
1591:
1588:
1585:
1582:
1579:
1576:
1573:
1570:
1567:
1564:
1561:
1558:
1555:
1552:
1549:
1546:
1543:
1540:
1537:
1534:
1531:
1528:
1525:
1522:
1519:
1516:
1513:
1510:
1507:
1504:
1501:
1498:
1495:
1492:
1489:
1486:
1483:
1480:
1477:
1474:
1471:
1468:
1465:
1462:
1459:
1456:
1453:
1450:
1447:
1444:
1441:
1438:
1435:
1432:
1429:
1426:
1423:
1420:
1417:
1414:
1411:
1408:
1405:
1402:
1399:
1396:
1386:primitive types
1382:
1377:
1376:
1371:, by executing
1365:
1364:
1361:
1358:
1355:
1352:
1349:
1346:
1343:
1340:
1337:
1334:
1331:
1328:
1325:
1322:
1319:
1316:
1313:
1310:
1296:
1240:
1029:
1027:Standardization
950:safety-critical
892:Irvine Compiler
861:The Jargon File
770:
719:
715:
624:buffer overflow
551:message passing
508:
476:(ISO), and the
455:non-determinism
434:object-oriented
407:Ada Programming
259:
257:
252:
247:
236:implementations
221:
162:
142:
140:
137:
67:aspect-oriented
63:object-oriented
28:
23:
22:
15:
12:
11:
5:
6503:
6493:
6492:
6487:
6482:
6477:
6472:
6467:
6462:
6457:
6452:
6447:
6442:
6437:
6432:
6427:
6410:
6409:
6407:
6406:
6401:
6396:
6390:
6387:
6386:
6384:
6383:
6378:
6373:
6368:
6363:
6358:
6353:
6348:
6342:
6340:
6334:
6333:
6331:
6330:
6329:
6328:
6318:
6313:
6308:
6303:
6297:
6295:
6289:
6288:
6286:
6285:
6280:
6275:
6270:
6265:
6260:
6255:
6250:
6248:Almquist shell
6244:
6242:
6236:
6235:
6233:
6232:
6227:
6222:
6220:Embedded GLIBC
6217:
6212:
6206:
6204:
6198:
6197:
6195:
6194:
6189:
6183:
6181:
6175:
6174:
6172:
6171:
6169:Vendor lock-in
6166:
6161:
6156:
6151:
6146:
6141:
6136:
6131:
6126:
6121:
6120:
6119:
6114:
6103:
6101:
6094:
6093:
6091:
6090:
6085:
6084:
6083:
6073:
6068:
6063:
6058:
6053:
6048:
6043:
6038:
6033:
6031:Cross compiler
6028:
6023:
6018:
6013:
6007:
6005:
6001:
6000:
5993:
5992:
5985:
5978:
5970:
5961:
5960:
5958:
5957:
5947:
5942:
5937:
5932:
5918:
5915:
5914:
5912:
5911:
5904:
5899:
5894:
5889:
5884:
5879:
5874:
5869:
5864:
5859:
5854:
5849:
5844:
5843:
5842:
5832:
5827:
5822:
5817:
5812:
5807:
5802:
5797:
5792:
5787:
5782:
5777:
5772:
5767:
5762:
5757:
5752:
5747:
5746:
5745:
5744:
5743:
5738:
5723:
5718:
5713:
5712:
5711:
5701:
5695:
5692:
5691:
5689:
5688:
5683:
5678:
5672:
5669:
5668:
5661:
5660:
5653:
5646:
5638:
5629:
5628:
5626:
5625:
5619:
5613:
5607:
5601:
5595:
5589:
5583:
5577:
5576:
5571:
5565:
5562:
5561:
5559:
5558:
5552:
5550:
5544:
5543:
5541:
5540:
5535:
5530:
5525:
5520:
5515:
5510:
5505:
5500:
5494:
5492:
5486:
5485:
5482:
5481:
5479:
5478:
5473:
5468:
5463:
5458:
5453:
5448:
5443:
5441:Virtual Pascal
5437:
5435:
5431:
5430:
5428:
5427:
5422:
5417:
5412:
5407:
5402:
5392:
5387:
5382:
5377:
5366:
5364:
5357:
5351:
5350:
5348:
5347:
5342:
5337:
5332:
5327:
5322:
5317:
5312:
5306:
5304:
5298:
5297:
5289:
5288:
5281:
5274:
5266:
5257:
5256:
5246:
5241:
5236:
5229:
5228:External links
5226:
5225:
5224:
5218:
5202:
5196:
5180:
5174:
5158:
5152:
5136:
5130:
5114:
5108:
5092:
5086:
5070:
5064:
5046:
5043:
5041:
5040:
5034:
5021:
5015:
5002:
4996:
4983:
4977:
4964:
4958:
4946:Wellings, Andy
4938:
4932:
4919:
4913:
4900:
4894:
4881:
4875:
4862:
4856:
4843:
4837:
4824:
4818:
4805:
4799:
4783:
4777:
4761:
4755:
4739:
4732:
4719:
4713:
4700:
4694:
4681:
4675:
4662:
4656:
4643:
4637:
4624:
4618:
4605:
4599:
4586:
4580:
4567:
4561:
4545:
4539:
4526:
4520:
4508:Wellings, Andy
4500:
4494:
4482:Wellings, Andy
4474:
4468:
4455:
4449:
4433:
4427:
4411:
4405:
4392:
4386:
4373:
4367:
4354:
4348:
4327:
4325:
4322:
4321:
4320:
4310:
4300:
4272:
4269:
4268:
4267:
4254:
4244:
4234:
4224:
4216:
4213:
4211:
4208:
4205:
4204:
4180:
4155:
4134:
4108:
4097:on 6 July 2011
4076:
4052:
4027:
4003:
3979:
3968:
3957:
3933:
3909:
3885:
3860:
3849:
3826:
3800:
3774:
3745:Frisberg, Bo.
3737:
3707:
3676:
3650:
3636:
3621:
3595:
3569:
3545:
3505:
3498:
3463:
3448:
3390:
3369:
3344:
3332:
3312:
3286:
3261:
3226:
3196:
3148:
3123:
3098:
3073:
3042:
3033:
3008:
2994:
2973:
2948:
2911:
2910:
2907:
2906:
2896:
2895:
2893:
2890:
2889:
2888:
2882:
2876:
2870:
2864:
2863:
2847:
2844:
2801:
2793:
2791:
2788:
2774:A pragma is a
2771:
2768:
2758:
2480:
2404:
2391:
2388:
1830:
1816:
1813:
1668:
1600:
1395:
1381:
1378:
1374:
1309:
1306:: (hello.adb)
1295:
1292:
1239:
1236:
1196:(ISO) and the
1143:standard ANSI/
1132:
1131:
1128:
1125:
1122:
1118:
1117:
1114:
1111:
1108:
1104:
1103:
1100:
1097:
1094:
1090:
1089:
1086:
1083:
1080:
1076:
1075:
1072:
1071:MIL-STD 1815A
1069:
1066:
1062:
1061:
1058:
1055:
1052:
1048:
1047:
1044:
1043:ANSI Standard
1041:
1040:Informal name
1038:
1028:
1025:
1019:system on the
1017:cab signalling
962:Ariane 4 and 5
769:
766:
657:Ada's dynamic
549:, synchronous
507:
504:
439:, inspired by
413:
412:
411:
410:
396:
395:
329:
328:
324:
323:
288:
287:
283:
282:
272:
271:
265:
264:
239:
238:
231:
230:
219:
215:
214:
211:
205:
204:
202:cross-platform
198:
192:
191:
174:
168:
167:
164:
163:
160:
158:
156:Stable release
152:
151:
148:
147:
134:
130:
129:
128:
127:
124:
121:
118:
110:
104:
103:
98:
94:
93:
51:Multi-paradigm
48:
42:
41:
26:
9:
6:
4:
3:
2:
6502:
6491:
6488:
6486:
6483:
6481:
6480:1980 software
6478:
6476:
6473:
6471:
6468:
6466:
6463:
6461:
6458:
6456:
6453:
6451:
6448:
6446:
6443:
6441:
6438:
6436:
6433:
6431:
6428:
6426:
6423:
6422:
6420:
6405:
6402:
6400:
6397:
6395:
6392:
6391:
6388:
6382:
6379:
6377:
6374:
6372:
6371:Embedded Java
6369:
6367:
6364:
6362:
6359:
6357:
6354:
6352:
6349:
6347:
6344:
6343:
6341:
6339:
6335:
6327:
6324:
6323:
6322:
6319:
6317:
6314:
6312:
6309:
6307:
6304:
6302:
6299:
6298:
6296:
6294:
6290:
6284:
6283:Yocto Project
6281:
6279:
6276:
6274:
6271:
6269:
6266:
6264:
6261:
6259:
6256:
6254:
6251:
6249:
6246:
6245:
6243:
6241:
6237:
6231:
6228:
6226:
6223:
6221:
6218:
6216:
6213:
6211:
6208:
6207:
6205:
6203:
6199:
6193:
6190:
6188:
6185:
6184:
6182:
6180:
6176:
6170:
6167:
6165:
6162:
6160:
6157:
6155:
6152:
6150:
6147:
6145:
6142:
6140:
6137:
6135:
6132:
6130:
6127:
6125:
6122:
6118:
6115:
6113:
6110:
6109:
6108:
6105:
6104:
6102:
6099:
6095:
6089:
6086:
6082:
6079:
6078:
6077:
6074:
6072:
6069:
6067:
6064:
6062:
6059:
6057:
6054:
6052:
6049:
6047:
6044:
6042:
6039:
6037:
6034:
6032:
6029:
6027:
6024:
6022:
6019:
6017:
6014:
6012:
6009:
6008:
6006:
6004:General terms
6002:
5998:
5991:
5986:
5984:
5979:
5977:
5972:
5971:
5968:
5956:
5948:
5946:
5943:
5941:
5938:
5936:
5933:
5931:
5928:
5920:
5919:
5916:
5910:
5909:
5905:
5903:
5900:
5898:
5895:
5893:
5890:
5888:
5885:
5883:
5880:
5878:
5875:
5873:
5870:
5868:
5865:
5863:
5860:
5858:
5855:
5853:
5850:
5848:
5845:
5841:
5840:Object Pascal
5838:
5837:
5836:
5833:
5831:
5828:
5826:
5823:
5821:
5818:
5816:
5813:
5811:
5808:
5806:
5803:
5801:
5798:
5796:
5793:
5791:
5788:
5786:
5783:
5781:
5778:
5776:
5773:
5771:
5768:
5766:
5763:
5761:
5758:
5756:
5753:
5751:
5748:
5742:
5739:
5737:
5734:
5733:
5732:
5729:
5728:
5727:
5724:
5722:
5719:
5717:
5714:
5710:
5707:
5706:
5705:
5702:
5700:
5697:
5696:
5693:
5687:
5684:
5682:
5679:
5677:
5674:
5673:
5670:
5666:
5659:
5654:
5652:
5647:
5645:
5640:
5639:
5636:
5623:
5620:
5617:
5614:
5611:
5608:
5605:
5602:
5599:
5596:
5593:
5590:
5587:
5584:
5579:
5578:
5575:
5572:
5570:
5567:
5566:
5563:
5557:
5554:
5553:
5551:
5549:
5548:Microcomputer
5545:
5539:
5536:
5534:
5531:
5529:
5526:
5524:
5521:
5519:
5516:
5514:
5511:
5509:
5506:
5504:
5501:
5499:
5496:
5495:
5493:
5491:
5487:
5477:
5474:
5472:
5469:
5467:
5464:
5462:
5459:
5457:
5454:
5452:
5451:Borland Kylix
5449:
5447:
5444:
5442:
5439:
5438:
5436:
5432:
5426:
5423:
5421:
5418:
5416:
5413:
5411:
5408:
5406:
5405:PascalABC.NET
5403:
5400:
5396:
5393:
5391:
5388:
5386:
5383:
5381:
5378:
5375:
5371:
5368:
5367:
5365:
5361:
5358:
5356:
5352:
5346:
5343:
5341:
5338:
5336:
5333:
5331:
5328:
5326:
5323:
5321:
5320:Pascal Script
5318:
5316:
5315:Object Pascal
5313:
5311:
5308:
5307:
5305:
5303:
5299:
5294:
5287:
5282:
5280:
5275:
5273:
5268:
5267:
5264:
5260:
5254:
5250:
5247:
5245:
5242:
5240:
5237:
5235:
5232:
5231:
5221:
5219:0-321-13616-0
5215:
5211:
5207:
5203:
5199:
5197:0-201-17517-7
5193:
5189:
5185:
5181:
5177:
5175:0-201-34293-6
5171:
5167:
5163:
5159:
5155:
5153:0-201-56539-0
5149:
5145:
5141:
5137:
5133:
5131:0-321-34078-7
5127:
5123:
5119:
5115:
5111:
5105:
5101:
5097:
5093:
5089:
5083:
5079:
5075:
5071:
5067:
5061:
5057:
5053:
5049:
5048:
5037:
5035:3-540-10283-3
5031:
5027:
5022:
5018:
5016:0-387-90814-5
5012:
5008:
5003:
4999:
4997:0-8053-9055-3
4993:
4989:
4984:
4980:
4978:0-8053-7070-6
4974:
4970:
4965:
4961:
4959:0-444-82164-3
4955:
4951:
4947:
4943:
4939:
4935:
4933:0-07-003350-1
4929:
4925:
4920:
4916:
4914:0-13-204298-3
4910:
4906:
4901:
4897:
4895:0-314-02829-3
4891:
4887:
4882:
4878:
4876:0-13-045949-6
4872:
4868:
4863:
4859:
4857:0-13-030834-X
4853:
4849:
4844:
4840:
4838:0-521-39251-9
4834:
4830:
4825:
4821:
4819:0-553-09102-6
4815:
4811:
4806:
4802:
4796:
4792:
4788:
4787:Dale, Nell B.
4784:
4780:
4778:0-7637-0293-5
4774:
4770:
4766:
4765:Dale, Nell B.
4762:
4758:
4756:0-201-36123-X
4752:
4748:
4744:
4740:
4735:
4733:0-201-52279-9
4729:
4725:
4720:
4716:
4714:0-201-40363-3
4710:
4706:
4701:
4697:
4695:0-201-88795-9
4691:
4687:
4682:
4678:
4676:0-387-97133-5
4672:
4668:
4663:
4659:
4657:0-13-230350-7
4653:
4649:
4644:
4640:
4638:0-13-264680-3
4634:
4630:
4625:
4621:
4619:1-58112-034-6
4615:
4611:
4606:
4602:
4600:0-534-14448-9
4596:
4592:
4587:
4583:
4581:0-471-60708-8
4577:
4573:
4568:
4564:
4562:0-8053-0608-0
4558:
4554:
4550:
4546:
4542:
4540:0-201-56527-7
4536:
4532:
4527:
4523:
4521:0-521-62911-X
4517:
4513:
4509:
4505:
4501:
4497:
4495:0-201-72988-1
4491:
4487:
4483:
4479:
4475:
4471:
4469:0-07-011607-5
4465:
4461:
4456:
4452:
4450:0-471-97912-0
4446:
4442:
4438:
4434:
4430:
4428:0-8053-2529-8
4424:
4420:
4416:
4412:
4408:
4406:0-387-94834-1
4402:
4398:
4393:
4389:
4383:
4379:
4374:
4370:
4368:0-201-40376-5
4364:
4360:
4355:
4351:
4349:0-8053-0604-8
4345:
4340:
4339:
4333:
4329:
4328:
4318:
4317:
4311:
4308:
4307:
4301:
4298:
4297:apps.dtic.mil
4293:on 2007-02-02
4292:
4288:
4287:
4282:
4278:
4277:
4276:
4265:
4262:
4258:
4255:
4252:
4248:
4245:
4242:
4238:
4237:ISO/IEC 18009
4235:
4232:
4228:
4227:ISO/IEC 15291
4225:
4222:
4219:
4218:
4194:
4193:www.adaic.org
4190:
4184:
4170:on 2012-02-06
4169:
4165:
4159:
4144:
4138:
4122:
4118:
4117:"Subprograms"
4112:
4093:
4086:
4080:
4066:
4062:
4056:
4041:
4037:
4031:
4017:
4016:www.adaic.org
4013:
4007:
3993:
3989:
3983:
3977:
3972:
3966:
3961:
3947:
3946:www.adaic.org
3943:
3937:
3923:
3919:
3913:
3899:
3895:
3889:
3874:
3870:
3864:
3858:
3853:
3845:
3841:
3837:
3830:
3816:on 2010-12-24
3815:
3811:
3804:
3790:on 2010-12-24
3789:
3785:
3778:
3759:
3755:
3748:
3741:
3725:
3721:
3717:
3711:
3700:
3696:
3689:
3688:
3680:
3666:on 2016-03-04
3665:
3661:
3654:
3643:
3641:
3632:
3628:
3624:
3622:0-89791-030-3
3618:
3614:
3610:
3606:
3599:
3585:on 2012-03-12
3584:
3580:
3573:
3555:
3549:
3541:
3537:
3533:
3529:
3525:
3521:
3514:
3512:
3510:
3501:
3495:
3491:
3487:
3483:
3482:
3474:
3472:
3470:
3468:
3459:
3452:
3441:
3437:
3433:
3428:
3423:
3419:
3415:
3411:
3404:
3400:
3399:C.A.R., Hoare
3394:
3380:. Sei.cmu.edu
3379:
3373:
3358:
3354:
3348:
3341:
3336:
3328:
3321:
3319:
3317:
3302:on 2015-08-31
3301:
3297:
3290:
3275:
3271:
3265:
3257:
3253:
3249:
3245:
3241:
3237:
3230:
3215:on 2016-05-22
3214:
3210:
3206:
3200:
3192:
3186:
3178:
3174:
3170:
3166:
3162:
3155:
3153:
3137:
3133:
3127:
3112:
3108:
3102:
3088:on 2020-09-14
3087:
3083:
3077:
3059:
3052:
3046:
3037:
3022:
3018:
3012:
3004:
2998:
2983:
2977:
2962:
2958:
2952:
2933:
2929:
2922:
2916:
2912:
2901:
2897:
2886:
2883:
2880:
2877:
2874:
2871:
2869:
2868:Ada compilers
2866:
2865:
2861:
2855:
2850:
2840:
2836:
2832:
2828:
2825:
2820:
2818:
2814:
2809:
2807:
2798:
2787:
2785:
2779:
2777:
2767:
2764:
2756:
2754:
2478:
2402:
2399:
2395:
2339:Working_Hours
1828:
1826:
1822:
1812:
1810:
1754:Working_Hours
1673:Working_Hours
1666:
1664:
1659:
1647:Current_Month
1620:Current_Month
1598:
1393:
1390:
1387:
1372:
1370:
1307:
1305:
1301:
1291:
1289:
1285:
1281:
1277:
1273:
1269:
1265:
1261:
1257:
1253:
1249:
1245:
1235:
1233:
1229:
1224:
1220:
1218:
1217:Ada 2022
1213:
1211:
1207:
1206:Ada 2012
1203:
1199:
1195:
1192:/WG 9 of the
1191:
1185:
1183:
1182:Ada 2005
1177:
1175:
1171:
1168:
1164:
1160:
1156:
1154:
1150:
1146:
1142:
1137:
1129:
1123:
1120:
1119:
1115:
1109:
1106:
1105:
1101:
1095:
1092:
1091:
1087:
1081:
1078:
1077:
1073:
1070:
1067:
1064:
1063:
1057:MIL-STD 1815
1056:
1053:
1050:
1049:
1045:
1042:
1039:
1036:
1035:
1024:
1022:
1018:
1014:
1011:
1007:
1003:
999:
995:
991:
987:
983:
979:
975:
971:
967:
963:
959:
955:
951:
946:
942:
940:
936:
932:
928:
923:
921:
917:
913:
909:
905:
901:
897:
893:
889:
885:
881:
877:
873:
869:
864:
862:
858:
854:
848:
846:
842:
837:
833:
829:
825:
821:
817:
813:
804:
800:
798:
793:
791:
787:
783:
779:
778:working group
775:
765:
763:
759:
755:
754:free software
750:
748:
744:
740:
736:
732:
728:
723:
713:
708:
706:
702:
697:
695:
691:
686:
684:
680:
676:
672:
668:
664:
660:
655:
653:
649:
645:
641:
637:
633:
629:
625:
621:
616:
614:
610:
606:
601:
596:
592:
590:
589:
588:dangling else
584:
580:
579:if ... end if
574:
572:
568:
564:
560:
556:
552:
548:
544:
540:
536:
532:
531:strong typing
527:
525:
521:
517:
513:
503:
501:
497:
493:
489:
486:
481:
479:
475:
471:
468:
467:international
464:
460:
456:
452:
451:strong typing
448:
447:
442:
438:
435:
431:
427:
423:
419:
408:
404:
400:
399:
397:
394:
390:
386:
383:, SPARforte,
382:
378:
374:
370:
366:
362:
358:
354:
350:
346:
342:
338:
334:
330:
325:
321:
317:
313:
309:
305:
301:
297:
293:
289:
286:Influenced by
284:
281:
277:
273:
270:
266:
262:
255:
250:
245:
240:
237:
232:
228:
220:
216:
212:
210:
206:
203:
199:
197:
193:
190:
186:
182:
178:
175:
173:
169:
165:
159:
157:
153:
149:
135:
131:
125:
122:
119:
117:
113:
112:
111:
109:
105:
102:
99:
95:
92:
88:
84:
80:
76:
72:
68:
64:
60:
56:
52:
49:
47:
43:
39:
34:
19:
6490:Ada Lovelace
6366:Embedded C++
6345:
6268:OpenEmbedded
6179:Boot loaders
6100:and controls
6081:Raspberry Pi
5940:Generational
5930:Alphabetical
5926:
5906:
5731:Visual Basic
5698:
5597:
5533:Turbo Vision
5456:Turbo Pascal
5446:Apple Pascal
5434:Discontinued
5258:
5209:
5206:Barnes, John
5187:
5184:Barnes, John
5165:
5162:Barnes, John
5143:
5140:Barnes, John
5121:
5118:Barnes, John
5099:
5096:Barnes, John
5077:
5074:Barnes, John
5055:
5052:Barnes, John
5025:
5006:
4987:
4968:
4949:
4923:
4904:
4885:
4866:
4847:
4828:
4809:
4790:
4768:
4746:
4723:
4704:
4685:
4666:
4647:
4628:
4609:
4590:
4571:
4552:
4549:Booch, Grady
4530:
4511:
4485:
4459:
4440:
4418:
4396:
4377:
4358:
4337:
4332:Booch, Grady
4315:
4305:
4291:the original
4285:
4274:
4221:ISO/IEC 8652
4196:. Retrieved
4192:
4183:
4172:. Retrieved
4168:the original
4158:
4147:. Retrieved
4137:
4125:. Retrieved
4120:
4111:
4099:. Retrieved
4092:the original
4079:
4068:. Retrieved
4064:
4055:
4044:. Retrieved
4042:. 2013-03-28
4039:
4030:
4019:. Retrieved
4015:
4006:
3995:. Retrieved
3991:
3982:
3971:
3960:
3949:. Retrieved
3945:
3936:
3925:. Retrieved
3921:
3912:
3901:. Retrieved
3897:
3888:
3877:. Retrieved
3875:. 2013-02-21
3872:
3863:
3852:
3829:
3818:. Retrieved
3814:the original
3803:
3792:. Retrieved
3788:the original
3777:
3765:. Retrieved
3753:
3740:
3728:. Retrieved
3720:FlightGlobal
3719:
3710:
3686:
3679:
3668:. Retrieved
3664:the original
3653:
3604:
3598:
3587:. Retrieved
3583:the original
3572:
3561:. Retrieved
3559:. 1991-02-14
3548:
3523:
3519:
3480:
3457:
3451:
3413:
3409:
3393:
3382:. Retrieved
3372:
3360:. Retrieved
3356:
3347:
3335:
3304:. Retrieved
3300:the original
3289:
3277:. Retrieved
3273:
3264:
3242:(4): 16–26.
3239:
3235:
3229:
3217:. Retrieved
3213:the original
3208:
3199:
3185:cite journal
3168:
3164:
3139:. Retrieved
3135:
3126:
3114:. Retrieved
3110:
3101:
3090:. Retrieved
3086:the original
3076:
3065:. Retrieved
3045:
3036:
3024:. Retrieved
3021:ada-auth.org
3020:
3011:
2997:
2986:. Retrieved
2976:
2964:. Retrieved
2960:
2951:
2939:. Retrieved
2927:
2915:
2900:
2834:
2830:
2823:
2821:
2816:
2813:generic unit
2812:
2810:
2802:
2780:
2773:
2765:
2762:
2750:
2476:
2400:
2396:
2393:
1818:
1808:
1806:
1660:
1657:
1596:
1391:
1383:
1366:
1297:
1284:enumerations
1263:
1259:
1255:
1251:
1247:
1241:
1231:
1228:ISO/IEC 8651
1225:
1221:
1216:
1214:
1205:
1186:
1181:
1178:
1163:US Air Force
1158:
1157:
1152:
1148:
1145:MIL-STD 1815
1144:
1138:
1135:
947:
943:
926:
924:
865:
849:
845:Turing Award
832:Ada Lovelace
820:Jean Ichbiah
812:Intermetrics
809:
794:
771:
752:One notable
751:
747:free content
742:
738:
734:
730:
725:Unlike most
724:
709:
698:
687:
683:access value
682:
678:
671:storage pool
670:
667:access types
666:
656:
617:
600:compile-time
597:
593:
586:
582:
578:
575:
569:, including
528:
520:Intermetrics
509:
500:Ada Lovelace
488:Jean Ichbiah
482:
444:
417:
416:
409:at Wikibooks
318:(Ada 2005),
116:Jean Ichbiah
6381:MicroPython
6321:Windows IoT
6129:Crippleware
6046:Embedded OS
5935:Categorical
5466:UCSD Pascal
5395:Free Pascal
5345:SuperPascal
4942:Burns, Alan
4504:Burns, Alan
4478:Burns, Alan
4437:Ben-Ari, M.
4253:Ada binding
4101:28 February
3520:Ada Letters
3279:November 5,
3165:Ada Letters
2928:adacore.com
2831:instantiate
2485:Ada.Text_IO
2318:Working_Day
1745:Working_Day
1703:Working_Day
1314:Ada.Text_IO
1202:Ada 2012 RM
1159:Ada 95
1153:Ada 87
1149:Ada 83
986:Saab Gripen
974:fly-by-wire
927:Ada mandate
896:TLD Systems
718:. A single
613:identifiers
351:, Griffin,
79:distributed
6419:Categories
6361:Embedded C
6021:Bootloader
5800:JavaScript
5676:Comparison
5581:Related to
5508:FireMonkey
5476:Pascal/MT+
5471:JRT Pascal
5410:GNU Pascal
5385:VSI Pascal
4738:795 pages.
4210:References
4198:2024-04-25
4174:2014-01-27
4149:2014-01-27
4070:2024-01-19
4046:2024-01-19
4021:2024-01-19
3997:2024-01-19
3951:2024-01-19
3927:2024-01-19
3903:2024-01-19
3879:2024-01-19
3820:2011-03-01
3794:2011-03-01
3670:2015-06-07
3589:2010-12-16
3563:2023-01-31
3384:2014-01-27
3306:2010-09-14
3111:cs.nyu.edu
3092:2018-08-06
3067:2016-01-14
2988:2014-01-27
1653:-- illegal
1626:Month_type
1589:end record
1571:Month_type
1424:Month_type
1380:Data types
1270:, such as
1242:Ada is an
1130:8652:2023
1116:8652:2012
1088:8652:1995
1074:8652:1987
1068:Ada 83/87
978:Boeing 777
966:satellites
841:Tony Hoare
609:deadlocks.
430:imperative
422:structured
327:Influenced
322:(Ada 2012)
310:(Ada 95),
306:(Ada 95),
213:.adb, .ads
200:Multi- or
87:procedural
71:concurrent
59:imperative
55:structured
6258:Buildroot
5897:Smalltalk
5390:IP Pascal
5355:Compilers
4271:Rationale
4123:. AdaCore
3808:AdaCore.
3782:AdaCore.
3420:: 75–83.
3357:iment.com
3274:adaic.org
2984:. PTC.com
2527:procedure
2439:procedure
2351:Work_Load
1819:Ada is a
1730:Work_Load
1583:Year_type
1511:Wednesday
1448:Year_type
1320:procedure
1124:Ada 2022
1110:Ada 2012
1096:Ada 2005
822:), Blue (
818:, led by
816:Honeywell
699:A double-
516:real-time
492:Honeywell
314:(Ada 95)
308:Smalltalk
300:Simula 67
6215:dietlibc
6107:Firmware
6098:Firmware
5955:Category
5721:Assembly
5681:Timeline
5616:Oberon-2
5610:Modula-3
5592:Modula-2
5523:OpenWire
5302:Dialects
5208:(2003).
5186:(1997).
5164:(1998).
5142:(1991).
5120:(2006).
5098:(2014).
5076:(2014).
5054:(2014).
4948:(1995).
4510:(1995).
4484:(2001).
4439:(1998).
4417:(1991).
4334:(1987).
4127:14 April
3758:Archived
3724:Archived
3699:Archived
3631:10586359
3440:Archived
3401:(1981).
3256:40077111
3058:Archived
2932:Archived
2846:See also
2839:run-time
2790:Generics
2632:Put_Line
2557:function
2357:aWeekday
2327:Put_Line
2312:aWeekday
2297:aWeekday
2279:Put_Line
2258:aWeekday
2039:Put_Line
1937:Put_Line
1910:Put_Line
1862:Put_Line
1736:constant
1663:subtypes
1608:Day_type
1559:Day_type
1529:Saturday
1517:Thursday
1400:Day_type
1344:Put_Line
1280:pointers
1268:ALGOL 60
1230:-3:1988
1170:Compiler
954:avionics
876:TeleSoft
663:pointers
648:railways
640:avionics
620:run-time
605:compiler
563:generics
512:embedded
506:Features
459:compiler
369:PL/pgSQL
361:ParaSail
312:Modula-2
292:ALGOL 68
269:Dialects
242:AdaCore
46:Paradigm
6376:MISRA C
6263:BusyBox
6253:BitBake
6192:Barebox
5908:more...
5887:Scratch
5790:Haskell
5780:Fortran
5736:classic
5686:History
5415:Turbo51
5399:Lazarus
5380:Oxygene
5374:history
5363:Current
5330:Clascal
5325:Oxygene
3082:"Drago"
2961:AdaCore
2770:Pragmas
2743:Example
2626:Text_IO
2497:Example
2491:package
2469:Example
2409:Example
2406:package
2285:Weekday
2264:Weekday
2228:Text_IO
2192:Text_IO
2159:Text_IO
2126:Text_IO
2033:Text_IO
2009:Text_IO
1985:Text_IO
1931:Text_IO
1904:Text_IO
1856:Text_IO
1709:Weekday
1700:subtype
1670:subtype
1505:Tuesday
1490:Weekday
1338:Text_IO
1302:is the
1276:records
1082:Ada 95
824:SofTech
768:History
705:em dash
636:anomaly
526:(OOP).
463:runtime
389:SQL/PSM
385:Sparkel
218:Website
189:nominal
143:1980-02
141: (
83:generic
6326:Win CE
6278:Toybox
6210:uClibc
6187:U-Boot
5927:Lists:
5862:Python
5857:Prolog
5835:Pascal
5825:MATLAB
5810:Kotlin
5770:Erlang
5709:Simula
5624:(1991)
5618:(1991)
5612:(1988)
5606:(1986)
5604:Oberon
5600:(1983)
5594:(1977)
5588:(1958)
5370:Delphi
5310:Pascal
5295:family
5216:
5194:
5172:
5150:
5128:
5106:
5084:
5062:
5032:
5013:
4994:
4975:
4956:
4930:
4911:
4892:
4873:
4854:
4835:
4816:
4797:
4775:
4753:
4747:Ada 95
4730:
4711:
4692:
4673:
4654:
4635:
4616:
4597:
4578:
4559:
4537:
4518:
4492:
4466:
4447:
4425:
4403:
4384:
4365:
4346:
4259:, the
4249:, the
3767:13 Feb
3730:13 Feb
3629:
3619:
3540:608405
3538:
3496:
3434:
3362:Apr 4,
3254:
3219:27 May
3141:Apr 4,
3116:Apr 4,
3026:Apr 4,
2966:Apr 4,
2835:actual
2707:Number
2644:Number
2593:return
2584:Number
2581:return
2575:Number
2548:Number
2515:Number
2509:Number
2460:Number
2418:Number
2216:others
1790:others
1778:Monday
1766:Friday
1721:Friday
1715:Monday
1550:record
1535:Sunday
1523:Friday
1499:Monday
1300:syntax
1288:Pascal
1010:French
972:, the
918:, and
900:Verdix
898:, and
780:, the
561:, and
441:Pascal
432:, and
373:Python
365:PL/SQL
349:Eiffel
337:Chapel
320:Eiffel
296:Pascal
234:Major
225:.adaic
181:strong
177:static
101:Pascal
97:Family
5902:Swift
5892:Shell
5805:Julia
5775:Forth
5765:COBOL
5726:BASIC
5704:ALGOL
5586:ALGOL
5340:Joyce
4324:Books
4299:, pdf
4261:CORBA
4251:POSIX
4241:ACATS
4095:(PDF)
4088:(PDF)
3761:(PDF)
3750:(PDF)
3702:(PDF)
3691:(PDF)
3627:S2CID
3557:(TXT)
3536:S2CID
3443:(PDF)
3436:97895
3432:S2CID
3416:(2).
3406:(PDF)
3252:S2CID
3169:XLIII
3061:(PDF)
3054:(PDF)
2941:5 May
2935:(PDF)
2924:(PDF)
2892:Notes
2885:SPARK
2710:'
2698:while
2695:begin
2650:Image
2647:'
2641:&
2617:begin
2590:begin
2521:First
2518:'
2424:range
2345:Image
2342:'
2336:&
2291:Image
2288:'
2270:Range
2267:'
2219:=>
2183:=>
2150:=>
2117:=>
1835:while
1825:go to
1793:=>
1781:=>
1769:=>
1739:array
1712:range
1682:range
1679:Hours
1641:Today
1602:Today
1565:Month
1472:Hours
1454:range
1430:range
1406:range
1359:Hello
1329:begin
1323:Hello
1260:while
1244:ALGOL
1121:2023
1107:2012
1093:2007
1079:1995
1065:1983
1051:1980
1037:Year
1006:SPARK
880:DDC-I
872:Alsys
745:) is
716:null;
547:tasks
420:is a
381:Seed7
341:Drago
276:SPARK
263:Score
261:DDC-I
75:array
6356:CAPL
6230:musl
6225:lwIP
6164:UEFI
6056:FPGA
6011:ASIC
5877:Rust
5872:Ruby
5847:Perl
5815:Lisp
5795:Java
5741:.NET
5214:ISBN
5192:ISBN
5170:ISBN
5148:ISBN
5126:ISBN
5104:ISBN
5082:ISBN
5060:ISBN
5030:ISBN
5011:ISBN
4992:ISBN
4973:ISBN
4954:ISBN
4928:ISBN
4909:ISBN
4890:ISBN
4871:ISBN
4852:ISBN
4833:ISBN
4814:ISBN
4795:ISBN
4773:ISBN
4751:ISBN
4728:ISBN
4709:ISBN
4690:ISBN
4671:ISBN
4652:ISBN
4633:ISBN
4614:ISBN
4595:ISBN
4576:ISBN
4557:ISBN
4535:ISBN
4516:ISBN
4490:ISBN
4464:ISBN
4445:ISBN
4423:ISBN
4401:ISBN
4382:ISBN
4363:ISBN
4344:ISBN
4231:ASIS
4129:2024
4103:2011
3769:2024
3732:2024
3617:ISBN
3494:ISBN
3364:2023
3281:2021
3221:2016
3191:link
3143:2023
3118:2023
3028:2023
2968:2023
2943:2018
2873:APSE
2753:GNAT
2734:loop
2716:loop
2713:Last
2704:<
2671:Next
2611:Next
2560:Next
2494:body
2482:with
2415:type
2381:loop
2321:then
2273:loop
2249:case
2213:when
2177:when
2144:when
2111:when
2102:case
2096:loop
2078:when
2075:exit
2054:loop
2048:loop
1976:loop
1922:else
1895:then
1889:>
1877:loop
1847:loop
1577:Year
1544:Date
1541:type
1487:type
1469:type
1463:2100
1457:1800
1445:type
1421:type
1397:type
1369:GNAT
1311:with
1256:else
1252:then
1167:GNAT
1141:ANSI
1054:Ada
998:SLOC
956:and
935:NATO
868:SETL
853:Lisp
758:GNAT
701:dash
514:and
393:VHDL
377:Ruby
353:Java
316:Java
244:GNAT
227:.org
185:safe
91:meta
6346:Ada
6088:SoC
6061:IoT
5882:SQL
5852:PHP
5820:Lua
5755:C++
5716:APL
5699:Ada
5598:Ada
5528:RTL
5513:LCL
5503:FCL
5498:CLX
5490:API
5425:ACK
4065:ISO
4040:ISO
3992:ISO
3922:ISO
3873:ISO
3840:doi
3609:doi
3528:doi
3486:doi
3422:doi
3244:doi
3173:doi
2829:To
2786:).
2740:end
2731:end
2683:end
2620:Ada
2608:end
2545:out
2466:end
2457:out
2378:end
2369:end
2255:for
2246:end
2234:Put
2222:Ada
2198:Put
2186:Ada
2165:Put
2153:Ada
2132:Put
2120:Ada
2093:end
2045:end
2027:Ada
2015:Put
2003:Ada
1991:Put
1979:Ada
1958:for
1949:end
1925:Ada
1898:Ada
1874:end
1850:Ada
1650:...
1638:...
1553:Day
1478:mod
1356:end
1332:Ada
1264:for
1212:).
1021:TGV
1015:in-
1013:TVM
836:LIS
743:LRM
741:or
735:ARM
733:or
727:ISO
557:),
490:of
418:Ada
357:Nim
333:C++
304:C++
254:PTC
223:www
31:Ada
6421::
5830:ML
5785:Go
5760:C#
5251:.
4944:;
4506:;
4480:;
4191:.
4119:.
4063:.
4038:.
4014:.
3990:.
3944:.
3920:.
3896:.
3871:.
3756:.
3752:.
3718:.
3693:.
3639:^
3625:.
3615:.
3534:.
3524:24
3522:.
3508:^
3492:.
3466:^
3438:.
3430:.
3414:24
3412:.
3408:.
3355:.
3315:^
3272:.
3250:.
3240:25
3238:.
3207:.
3187:}}
3183:{{
3167:.
3163:.
3151:^
3134:.
3109:.
3019:.
2959:.
2930:.
2926:.
2822:A
2819:.
2811:A
2808:.
2728:);
2680:);
2668::=
2662:);
2587:is
2572:in
2569::
2554:is
2542:in
2539::
2512::=
2500:is
2463:);
2454:in
2451::
2433:11
2430:..
2421:is
2412:is
2372:if
2363:);
2360:))
2315:in
2309:if
2303:);
2261:in
2243:);
2207:);
2174:);
2141:);
2108:is
2087:10
2060::=
2024:);
2000:);
1973:10
1970:..
1964:in
1952:if
1946:);
1919:);
1883:if
1871:);
1841:/=
1799:);
1796:10
1760::=
1751:of
1718:..
1706:is
1691:12
1688:..
1676:is
1665::
1632:10
1629::=
1611::=
1547:is
1538:);
1493:is
1481:24
1475:is
1460:..
1451:is
1439:12
1436:..
1427:is
1415:31
1412:..
1403:is
1353:);
1326:is
1290:.
1282:,
1278:,
1274:,
1262:,
1258:,
1254:,
1250:,
1248:if
1234:.
1176:.
1127:—
1113:—
1099:—
1085:—
1060:—
988:,
984:,
964:,
922:.
914:,
910:,
906:,
894:,
890:,
886:,
882:,
878:,
874:,
764:.
654:.
646:,
642:,
581:,
573:.
541:,
533:,
428:,
424:,
391:,
387:,
379:,
375:,
371:,
367:,
363:,
359:,
355:,
347:,
343:,
339:,
335:,
302:,
298:,
294:,
278:,
196:OS
187:,
183:,
179:,
89:,
85:,
81:,
77:,
73:,
69:,
65:,
61:,
57:,
53::
5989:e
5982:t
5975:v
5867:R
5750:C
5657:e
5650:t
5643:v
5401:)
5397:(
5376:)
5372:(
5285:e
5278:t
5271:v
5222:.
5200:.
5178:.
5156:.
5134:.
5112:.
5090:.
5068:.
5038:.
5019:.
5000:.
4981:.
4962:.
4936:.
4917:.
4898:.
4879:.
4860:.
4841:.
4822:.
4803:.
4781:.
4759:.
4736:.
4717:.
4698:.
4679:.
4660:.
4641:.
4622:.
4603:.
4584:.
4565:.
4543:.
4524:.
4498:.
4472:.
4453:.
4431:.
4409:.
4390:.
4371:.
4352:.
4243:)
4233:)
4201:.
4177:.
4152:.
4131:.
4105:.
4073:.
4049:.
4024:.
4000:.
3954:.
3930:.
3906:.
3882:.
3846:.
3842::
3823:.
3797:.
3771:.
3734:.
3673:.
3633:.
3611::
3592:.
3566:.
3542:.
3530::
3502:.
3488::
3424::
3387:.
3366:.
3309:.
3283:.
3258:.
3246::
3223:.
3193:)
3175::
3145:.
3120:.
3095:.
3070:.
3030:.
2991:.
2970:.
2945:.
2799:.
2746:;
2737:;
2725:i
2722:(
2701:i
2689:;
2677:j
2674:(
2665:j
2659:)
2656:j
2653:(
2635:(
2629:.
2623:.
2614:;
2605:;
2602:1
2599:+
2596:k
2578:)
2566:k
2563:(
2551:)
2536:j
2533:(
2524:;
2506::
2503:i
2488:;
2472:;
2448:j
2445:(
2436:;
2427:1
2384:;
2375:;
2354:(
2348:(
2330:(
2300:)
2294:(
2282:(
2252:;
2237:(
2231:.
2225:.
2201:(
2195:.
2189:.
2180:2
2168:(
2162:.
2156:.
2147:1
2135:(
2129:.
2123:.
2114:0
2105:i
2099:;
2090:;
2084:=
2081:a
2072:;
2069:1
2066:+
2063:a
2057:a
2051:;
2042:;
2036:.
2030:.
2021:i
2018:(
2012:.
2006:.
1994:(
1988:.
1982:.
1967:1
1961:i
1955:;
1940:(
1934:.
1928:.
1913:(
1907:.
1901:.
1892:b
1886:a
1880:;
1865:(
1859:.
1853:.
1844:b
1838:a
1787:,
1784:4
1775:,
1772:6
1763:(
1748:)
1742:(
1733::
1724:;
1694:;
1685:0
1644:+
1635:;
1623::
1617:;
1614:4
1605::
1592:;
1586:;
1580::
1574:;
1568::
1562:;
1556::
1532:,
1526:,
1520:,
1514:,
1508:,
1502:,
1496:(
1484:;
1466:;
1442:;
1433:1
1418:;
1409:1
1362:;
1347:(
1341:.
1335:.
1317:;
720:;
545:(
345:D
246:,
145:)
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.