Get it on Google Play
New! Download Unionpedia on your Android™ device!
Faster access than browser!

Ada (programming language)

Index Ada (programming language)

Ada is a structured, statically typed, imperative, and object-oriented high-level computer programming language, extended from Pascal and other languages. [1]

139 relations: "Hello, World!" program, ACM Queue, Ada Conformity Assessment Test Suite, Ada Lovelace, Ada Semantic Interface Specification, Advanced Computer Techniques, Air traffic control, Air University (United States Air Force), Aircraft flight control system, Airplane Information Management System, Alan Burns (professor), Alexander Stepanov, ALGOL, ALGOL 60, ALGOL 68, Alsys, American National Standards Institute, Andy Wellings, APSE, Ariane (rocket family), Avionics, Boeing 777, Buffer overflow, C++, Cab signalling, Chapel (programming language), Charles Babbage Institute, Commercial off-the-shelf, Common Object Request Broker Architecture, Comparison of programming languages (syntax), Compiler, Computer programming, Cross-platform, Dangling else, Dash, David A. Wheeler, DDC-I, Dean W. Gonzalez, Design by contract, Directive (programming), Dynamic dispatch, Eiffel (programming language), Elliot Koffman, Embedded system, Enumerated type, Exception handling, France, Free content, Free software, Garbage collection (computer science), ..., Generic programming, GNAT, GNAT Programming Studio, GNU Compiler Collection, Goto, Grady Booch, Graphical Kernel System, Green Hills Software, Groupe Bull, Guarded Command Language, High Order Language Working Group, High-level programming language, Honeywell Aerospace, Imperative programming, Interface description language, Intermetrics, International Organization for Standardization, International standard, ISO/IEC 8652, Java (programming language), Jean Ichbiah, John Barnes (computer scientist), LIS (programming language), Lisp (programming language), Memory management, Message passing, Ministry of Defence (United Kingdom), Modula-2, Modular programming, Monitor (synchronization), Mordechai Ben-Ari, Mutual exclusion, NATO, Nell B. Dale, Nim (programming language), Nominal type system, Non-uniform memory access, Nondeterministic programming, Object-oriented programming, Off-by-one error, Parallel computing, Pascal (programming language), PL/pgSQL, PL/SQL, Pointer (computer programming), POSIX, Primitive data type, Programming language, Programming paradigm, PTC (software company), Ravenscar profile, Real-time computing, Record (computer science), Region-based memory management, Ruby (programming language), Runtime error detection, Safety-critical system, Satellite, Seed7, SETL, Simon Johnston, Smalltalk, SofTech, Inc., Software bug, Source lines of code, SPARK (programming language), SQL/PSM, SRI International, Steelman language requirements, Straw man proposal, Strong and weak typing, Structured programming, Switch statement, Syntax (programming languages), Tartan Laboratories, Task (computing), TeleSoft, TGV, TLD Systems, Tony Hoare, Transmission Voie-Machine, Turing Award, Type safety, Type system, United States Air Force, United States Department of Defense, Verdix, VHDL, Working group. Expand index (89 more) »

"Hello, World!" program

A "Hello, World!" program is a computer program that outputs or displays "Hello, World!" to a user.

New!!: Ada (programming language) and "Hello, World!" program · See more »

ACM Queue

ACM Queue is a bimonthly computer magazine founded and published by the Association for Computing Machinery (ACM).

New!!: Ada (programming language) and ACM Queue · See more »

Ada Conformity Assessment Test Suite

The Ada Conformity Assessment Test Suite (ACATS) is the test suite used for Ada processor conformity testing.

New!!: Ada (programming language) and Ada Conformity Assessment Test Suite · See more »

Ada Lovelace

Augusta Ada King-Noel, Countess of Lovelace (née Byron; 10 December 1815 – 27 November 1852) was an English mathematician and writer, chiefly known for her work on Charles Babbage's proposed mechanical general-purpose computer, the Analytical Engine.

New!!: Ada (programming language) and Ada Lovelace · See more »

Ada Semantic Interface Specification

The Ada Semantic Interface Specification (ASIS) is a layered, open architecture providing vendor-independent access to the Ada Library Environment.

New!!: Ada (programming language) and Ada Semantic Interface Specification · See more »

Advanced Computer Techniques

Advanced Computer Techniques (ACT) was a computer software company most active from the early 1960s through the early 1990s that made software products, especially language compilers and related tools.

New!!: Ada (programming language) and Advanced Computer Techniques · See more »

Air traffic control

Air traffic control (ATC) is a service provided by ground-based air traffic controllers who direct aircraft on the ground and through controlled airspace, and can provide advisory services to aircraft in non-controlled airspace.

New!!: Ada (programming language) and Air traffic control · See more »

Air University (United States Air Force)

The Air University (AU), headquartered at Maxwell Air Force Base, Alabama, is a key component of the Air Education and Training Command (AETC), and is the U.S. Air Force's center for professional military education (PME).

New!!: Ada (programming language) and Air University (United States Air Force) · See more »

Aircraft flight control system

A conventional fixed-wing aircraft flight control system consists of flight control surfaces, the respective cockpit controls, connecting linkages, and the necessary operating mechanisms to control an aircraft's direction in flight.

New!!: Ada (programming language) and Aircraft flight control system · See more »

Airplane Information Management System

The Airplane Information Management System (AIMS) is the "brains" of Boeing 777 aircraft.

New!!: Ada (programming language) and Airplane Information Management System · See more »

Alan Burns (professor)

Professor Alan Burns FREng FIET FBCS SMIEEE CEng is a professor in the Computer Science Department at the University of York, England.

New!!: Ada (programming language) and Alan Burns (professor) · See more »

Alexander Stepanov

Alexander Alexandrovich Stepanov (Алекса́ндр Алекса́ндрович Степа́нов), born November 16, 1950 in Moscow, is a Russian computer programmer, best known as an advocate of generic programming and as the primary designer and implementer of the C++ Standard Template Library, which he started to develop around 1992 while employed at HP Labs.

New!!: Ada (programming language) and Alexander Stepanov · See more »


ALGOL (short for "Algorithmic Language") is a family of imperative computer programming languages, originally developed in the mid-1950s, which greatly influenced many other languages and was the standard method for algorithm description used by the ACM in textbooks and academic sources for more than thirty years.

New!!: Ada (programming language) and ALGOL · See more »


ALGOL 60 (short for Algorithmic Language 1960) is a member of the ALGOL family of computer programming languages.

New!!: Ada (programming language) and ALGOL 60 · See more »


ALGOL 68 (short for Algorithmic Language 1968) is an imperative computer programming language that was conceived as a successor to the ALGOL 60 programming language, designed with the goal of a much wider scope of application and more rigorously defined syntax and semantics.

New!!: Ada (programming language) and ALGOL 68 · See more »


The company Alsys, SA. (founded 1980, merged 1995) was a software development company created to support initial work on the Ada programming language.

New!!: Ada (programming language) and Alsys · See more »

American National Standards Institute

The American National Standards Institute (ANSI) is a private non-profit organization that oversees the development of voluntary consensus standards for products, services, processes, systems, and personnel in the United States.

New!!: Ada (programming language) and American National Standards Institute · See more »

Andy Wellings

Andy J. Wellings is a professor in the Computer Science department at the University of York in northern England.

New!!: Ada (programming language) and Andy Wellings · See more »


APSE standing for Ada Programming Support Environment was a specification for a programming environment to support software development in the Ada programming language.

New!!: Ada (programming language) and APSE · See more »

Ariane (rocket family)

Ariane is a series of a European civilian expendable launch vehicles for space launch use.

New!!: Ada (programming language) and Ariane (rocket family) · See more »


Avionics are the electronic systems used on aircraft, artificial satellites, and spacecraft.

New!!: Ada (programming language) and Avionics · See more »

Boeing 777

The Boeing 777 is a family of long-range wide-body twin-engine jet airliners developed and manufactured by Boeing Commercial Airplanes.

New!!: Ada (programming language) and Boeing 777 · See more »

Buffer overflow

In information security and programming, a buffer overflow, or buffer overrun, is an anomaly where a program, while writing data to a buffer, overruns the buffer's boundary and overwrites adjacent memory locations.

New!!: Ada (programming language) and Buffer overflow · See more »


C++ ("see plus plus") is a general-purpose programming language.

New!!: Ada (programming language) and C++ · See more »

Cab signalling

Cab signalling is a railway safety system that communicates track status and condition information to the cab, crew compartment or driver's compartment of a locomotive, railcar or multiple unit.

New!!: Ada (programming language) and Cab signalling · See more »

Chapel (programming language)

Chapel, the Cascade High Productivity Language, is a parallel programming language developed by Cray.

New!!: Ada (programming language) and Chapel (programming language) · See more »

Charles Babbage Institute

The Charles Babbage Institute is a research center at the University of Minnesota specializing in the history of information technology, particularly the history of digital computing, programming/software, and computer networking since 1935.

New!!: Ada (programming language) and Charles Babbage Institute · See more »

Commercial off-the-shelf

Commercial off-the-shelf or commercially available off-the-shelf (COTS) satisfy the needs of the purchasing organization, without the need to commission custom-made, or bespoke, solutions.

New!!: Ada (programming language) and Commercial off-the-shelf · See more »

Common Object Request Broker Architecture

The Common Object Request Broker Architecture (CORBA) is a standard defined by the Object Management Group (OMG) designed to facilitate the communication of systems that are deployed on diverse platforms.

New!!: Ada (programming language) and Common Object Request Broker Architecture · See more »

Comparison of programming languages (syntax)

This comparison of programming languages compares the features of language syntax (format) for over 50 computer programming languages.

New!!: Ada (programming language) and Comparison of programming languages (syntax) · See more »


A compiler is computer software that transforms computer code written in one programming language (the source language) into another programming language (the target language).

New!!: Ada (programming language) and Compiler · See more »

Computer programming

Computer programming is the process of building and designing an executable computer program for accomplishing a specific computing task.

New!!: Ada (programming language) and Computer programming · See more »


In computing, cross-platform software (also multi-platform software or platform-independent software) is computer software that is implemented on multiple computing platforms.

New!!: Ada (programming language) and Cross-platform · See more »

Dangling else

The dangling else is a problem in computer programming in which an optional else clause in an if–then(–else) statement results in nested conditionals being ambiguous.

New!!: Ada (programming language) and Dangling else · See more »


The dash is a punctuation mark that is similar in appearance to and, but differs from these symbols in both length and height.

New!!: Ada (programming language) and Dash · See more »

David A. Wheeler

David A. Wheeler (born 1965) is a computer scientist.

New!!: Ada (programming language) and David A. Wheeler · See more »


DDC-I, Inc. is a privately held company providing software development of real-time operating systems, software development tools, and software services for safety-critical embedded applications, headquartered in Phoenix, Arizona.

New!!: Ada (programming language) and DDC-I · See more »

Dean W. Gonzalez

Dean Wayne Gonzalez (January 3, 1958-August 13, 1994) was the co-author of "Introduction to Ada for Programmers" along with Dr. David A. Cook, a fellow faculty member at the United States Air Force Academy.

New!!: Ada (programming language) and Dean W. Gonzalez · See more »

Design by contract

Design by contract (DbC), also known as contract programming, programming by contract and design-by-contract programming, is an approach for designing software.

New!!: Ada (programming language) and Design by contract · See more »

Directive (programming)

In computer programming, a directive or pragma (from "pragmatic") is a language construct that specifies how a compiler (or other translator) should process its input.

New!!: Ada (programming language) and Directive (programming) · See more »

Dynamic dispatch

In computer science, dynamic dispatch is the process of selecting which implementation of a polymorphic operation (method or function) to call at run time.

New!!: Ada (programming language) and Dynamic dispatch · See more »

Eiffel (programming language)

Eiffel is an object-oriented programming language designed by Bertrand Meyer (an object-orientation proponent and author of Object-Oriented Software Construction) and Eiffel Software.

New!!: Ada (programming language) and Eiffel (programming language) · See more »

Elliot Koffman

Elliot Bruce Koffman (born 7 May 1942 in Boston, Massachusetts) is a noted computer scientist and educationist.

New!!: Ada (programming language) and Elliot Koffman · See more »

Embedded system

An embedded system is a computer system with a dedicated function within a larger mechanical or electrical system, often with real-time computing constraints.

New!!: Ada (programming language) and Embedded system · See more »

Enumerated type

In computer programming, an enumerated type (also called enumeration, enum, or factor in the R programming language, and a categorical variable in statistics) is a data type consisting of a set of named values called elements, members, enumeral, or enumerators of the type.

New!!: Ada (programming language) and Enumerated type · See more »

Exception handling

Exception handling is the process of responding to the occurrence, during computation, of exceptions – anomalous or exceptional conditions requiring special processing – often changing the normal flow of program execution.

New!!: Ada (programming language) and Exception handling · See more »


France, officially the French Republic (République française), is a sovereign state whose territory consists of metropolitan France in Western Europe, as well as several overseas regions and territories.

New!!: Ada (programming language) and France · See more »

Free content

Free content, libre content, or free information, is any kind of functional work, work of art, or other creative content that meets the definition of a free cultural work.

New!!: Ada (programming language) and Free content · See more »

Free software

Free software or libre software is computer software distributed under terms that allow users to run the software for any purpose as well as to study, change, and distribute it and any adapted versions.

New!!: Ada (programming language) and Free software · See more »

Garbage collection (computer science)

In computer science, garbage collection (GC) is a form of automatic memory management.

New!!: Ada (programming language) and Garbage collection (computer science) · See more »

Generic programming

Generic programming is a style of computer programming in which algorithms are written in terms of types to-be-specified-later that are then instantiated when needed for specific types provided as parameters.

New!!: Ada (programming language) and Generic programming · See more »


GNAT is a free-software compiler for the Ada programming language which forms part of the GNU Compiler Collection.

New!!: Ada (programming language) and GNAT · See more »

GNAT Programming Studio

GNAT Programming Studio (GPS, formerly known as the GNAT Programming System) is a free multi-language integrated development environment (IDE) by AdaCore.

New!!: Ada (programming language) and GNAT Programming Studio · See more »

GNU Compiler Collection

The GNU Compiler Collection (GCC) is a compiler system produced by the GNU Project supporting various programming languages.

New!!: Ada (programming language) and GNU Compiler Collection · See more »


GoTo (goto, GOTO, GO TO or other case combinations, depending on the programming language) is a statement found in many computer programming languages.

New!!: Ada (programming language) and Goto · See more »

Grady Booch

Grady Booch (born February 27, 1955) is an American software engineer, best known for developing the Unified Modeling Language (UML) with Ivar Jacobson and James Rumbaugh.

New!!: Ada (programming language) and Grady Booch · See more »

Graphical Kernel System

The Graphical Kernel System (GKS) was the first ISO standard for low-level computer graphics, introduced in 1977.

New!!: Ada (programming language) and Graphical Kernel System · See more »

Green Hills Software

Green Hills Software is a privately owned company that builds operating systems and programming tools for embedded systems.

New!!: Ada (programming language) and Green Hills Software · See more »

Groupe Bull

Bull SAS (also known as Groupe Bull, Bull Information Systems, or simply Bull) is a French-owned computer company headquartered in Les Clayes-sous-Bois, in the western suburbs of Paris.

New!!: Ada (programming language) and Groupe Bull · See more »

Guarded Command Language

The Guarded Command Language (GCL) is a language defined by Edsger Dijkstra for predicate transformer semantics.

New!!: Ada (programming language) and Guarded Command Language · See more »

High Order Language Working Group

The High Order Language Working Group (HOLWG) was a working group instrumental in developing the Ada computer programming language.

New!!: Ada (programming language) and High Order Language Working Group · See more »

High-level programming language

In computer science, a high-level programming language is a programming language with strong abstraction from the details of the computer.

New!!: Ada (programming language) and High-level programming language · See more »

Honeywell Aerospace

Honeywell Aerospace is a manufacturer of aircraft engines and avionics, as well as a producer of auxiliary power units (APUs) and other aviation products.

New!!: Ada (programming language) and Honeywell Aerospace · See more »

Imperative programming

In computer science, imperative programming is a programming paradigm that uses statements that change a program's state.

New!!: Ada (programming language) and Imperative programming · See more »

Interface description language

An interface description language or interface definition language (IDL), is a specification language used to describe a software component's application programming interface (API).

New!!: Ada (programming language) and Interface description language · See more »


Intermetrics, Inc. was a software company founded in Cambridge, Massachusetts in 1969 by several veterans of M.I.T.'s Instrumentation Laboratory who had worked on the software for NASA's Apollo Program including the Apollo Guidance Computer.

New!!: Ada (programming language) and Intermetrics · See more »

International Organization for Standardization

The International Organization for Standardization (ISO) is an international standard-setting body composed of representatives from various national standards organizations.

New!!: Ada (programming language) and International Organization for Standardization · See more »

International standard

International standards are standards developed by international standards organizations.

New!!: Ada (programming language) and International standard · See more »

ISO/IEC 8652

ISO/IEC 8652 Information technology — Programming languages — Ada is the international standard for the computer programming language Ada.

New!!: Ada (programming language) and ISO/IEC 8652 · See more »

Java (programming language)

Java is a general-purpose computer-programming language that is concurrent, class-based, object-oriented, and specifically designed to have as few implementation dependencies as possible.

New!!: Ada (programming language) and Java (programming language) · See more »

Jean Ichbiah

Jean David Ichbiah (25 March 1940 – 26 January 2007) was a French computer scientist and the initial chief designer (1977–1983) of Ada, a general-purpose, strongly typed programming language with certified validated compilers.

New!!: Ada (programming language) and Jean Ichbiah · See more »

John Barnes (computer scientist)

John Gilbert Presslie Barnes is a British computer scientist best known for his role in developing and publicising the Ada programming language.

New!!: Ada (programming language) and John Barnes (computer scientist) · See more »

LIS (programming language)

LIS (Language d'Implementation de Systèmes) was a system implementation programming language designed by Jean Ichbiah, who later designed Ada.

New!!: Ada (programming language) and LIS (programming language) · See more »

Lisp (programming language)

Lisp (historically, LISP) is a family of computer programming languages with a long history and a distinctive, fully parenthesized prefix notation.

New!!: Ada (programming language) and Lisp (programming language) · See more »

Memory management

Memory management is a form of resource management applied to computer memory.

New!!: Ada (programming language) and Memory management · See more »

Message passing

In computer science, message passing is a technique for invoking behavior (i.e., running a program) on a computer.

New!!: Ada (programming language) and Message passing · See more »

Ministry of Defence (United Kingdom)

The Ministry of Defence (MoD or MOD) is the British government department responsible for implementing the defence policy set by Her Majesty's Government and is the headquarters of the British Armed Forces.

New!!: Ada (programming language) and Ministry of Defence (United Kingdom) · See more »


Modula-2 is a computer programming language designed and developed between 1977 and 1985 by Niklaus Wirth at the Swiss Federal Institute of Technology in Zurich (ETH Zurich) as a revision of Pascal to serve as the sole programming language for the operating system and application software for the personal workstation Lilith.

New!!: Ada (programming language) and Modula-2 · See more »

Modular programming

Modular programming is a software design technique that emphasizes separating the functionality of a programme into independent, interchangeable modules, such that each contains everything necessary to execute only one aspect of the desired functionality.

New!!: Ada (programming language) and Modular programming · See more »

Monitor (synchronization)

In concurrent programming, a monitor is a synchronization construct that allows threads to have both mutual exclusion and the ability to wait (block) for a certain condition to become true.

New!!: Ada (programming language) and Monitor (synchronization) · See more »

Mordechai Ben-Ari

Mordechai (Moti) Ben-Ari (מרדכי (מוטי) בן-ארי) is a professor of computer science education at the Weizmann Institute of Science Ben-Ari has published numerous textbooks in computer science, developed software tools for teaching Computer Science, and written many influential papers in computer science education.

New!!: Ada (programming language) and Mordechai Ben-Ari · See more »

Mutual exclusion

In computer science, mutual exclusion is a property of concurrency control, which is instituted for the purpose of preventing race conditions; it is the requirement that one thread of execution never enter its critical section at the same time that another concurrent thread of execution enters its own critical section.

New!!: Ada (programming language) and Mutual exclusion · See more »


The North Atlantic Treaty Organization (NATO; Organisation du Traité de l'Atlantique Nord; OTAN), also called the North Atlantic Alliance, is an intergovernmental military alliance between 29 North American and European countries.

New!!: Ada (programming language) and NATO · See more »

Nell B. Dale

Nell B. Dale is an American computer scientist noted for her work in computer science education and computer science introductory programming textbooks.

New!!: Ada (programming language) and Nell B. Dale · See more »

Nim (programming language)

Nim (formerly named Nimrod) is an imperative, multi-paradigm, compiled programming language designed and developed by Andreas Rumpf.

New!!: Ada (programming language) and Nim (programming language) · See more »

Nominal type system

In computer science, a nominal or nominative type system (or name-based type system) is a major class of type system, in which compatibility and equivalence of data types is determined by explicit declarations and/or the name of the types.

New!!: Ada (programming language) and Nominal type system · See more »

Non-uniform memory access

Non-uniform memory access (NUMA) is a computer memory design used in multiprocessing, where the memory access time depends on the memory location relative to the processor.

New!!: Ada (programming language) and Non-uniform memory access · See more »

Nondeterministic programming

A nondeterministic programming language is a language which can specify, at certain points in the program (called "choice points"), various alternatives for program flow.

New!!: Ada (programming language) and Nondeterministic programming · See more »

Object-oriented programming

Object-oriented programming (OOP) is a programming paradigm based on the concept of "objects", which may contain data, in the form of fields, often known as attributes; and code, in the form of procedures, often known as methods. A feature of objects is that an object's procedures can access and often modify the data fields of the object with which they are associated (objects have a notion of "this" or "self").

New!!: Ada (programming language) and Object-oriented programming · See more »

Off-by-one error

An off-by-one error (OBOE), also commonly known as an OBOB (off-by-one bug), or OB1 error is a logic error involving the discrete equivalent of a boundary condition.

New!!: Ada (programming language) and Off-by-one error · See more »

Parallel computing

Parallel computing is a type of computation in which many calculations or the execution of processes are carried out concurrently.

New!!: Ada (programming language) and Parallel computing · See more »

Pascal (programming language)

Pascal is an imperative and procedural programming language, which Niklaus Wirth designed in 1968–69 and published in 1970, as a small, efficient language intended to encourage good programming practices using structured programming and data structuring. It is named in honor of the French mathematician, philosopher and physicist Blaise Pascal. Pascal was developed on the pattern of the ALGOL 60 language. Wirth had already developed several improvements to this language as part of the ALGOL X proposals, but these were not accepted and Pascal was developed separately and released in 1970. A derivative known as Object Pascal designed for object-oriented programming was developed in 1985; this was used by Apple Computer and Borland in the late 1980s and later developed into Delphi on the Microsoft Windows platform. Extensions to the Pascal concepts led to the Pascal-like languages Modula-2 and Oberon.

New!!: Ada (programming language) and Pascal (programming language) · See more »


PL/pgSQL (Procedural Language/PostgreSQL) is a procedural programming language supported by the PostgreSQL ORDBMS.

New!!: Ada (programming language) and PL/pgSQL · See more »


PL/SQL (Procedural Language/Structured Query Language) is Oracle Corporation's procedural extension for SQL and the Oracle relational database.

New!!: Ada (programming language) and PL/SQL · See more »

Pointer (computer programming)

In computer science, a pointer is a programming language object that stores the memory address of another value located in computer memory.

New!!: Ada (programming language) and Pointer (computer programming) · See more »


The Portable Operating System Interface (POSIX) is a family of standards specified by the IEEE Computer Society for maintaining compatibility between operating systems.

New!!: Ada (programming language) and POSIX · See more »

Primitive data type

In computer science, primitive data type is either of the following.

New!!: Ada (programming language) and Primitive data type · See more »

Programming language

A programming language is a formal language that specifies a set of instructions that can be used to produce various kinds of output.

New!!: Ada (programming language) and Programming language · See more »

Programming paradigm

Programming paradigms are a way to classify programming languages based on their features.

New!!: Ada (programming language) and Programming paradigm · See more »

PTC (software company)

PTC (formerly Parametric Technology Corporation) is a computer software and services company founded in 1985 and headquartered outside of Boston, Massachusetts.

New!!: Ada (programming language) and PTC (software company) · See more »

Ravenscar profile

The Ravenscar profile is a subset of the Ada tasking features designed for safety-critical hard real-time computing.

New!!: Ada (programming language) and Ravenscar profile · See more »

Real-time computing

In computer science, real-time computing (RTC), or reactive computing describes hardware and software systems subject to a "real-time constraint", for example from event to system response.

New!!: Ada (programming language) and Real-time computing · See more »

Record (computer science)

In computer science, a record (also called a structure, struct, or compound data) is a basic data structure.

New!!: Ada (programming language) and Record (computer science) · See more »

Region-based memory management

In computer science, region-based memory management is a type of memory management in which each allocated object is assigned to a region.

New!!: Ada (programming language) and Region-based memory management · See more »

Ruby (programming language)

Ruby is a dynamic, interpreted, reflective, object-oriented, general-purpose programming language.

New!!: Ada (programming language) and Ruby (programming language) · See more »

Runtime error detection

Runtime error detection is a software verification method that analyzes a software application as it executes and reports defects that are detected during that execution.

New!!: Ada (programming language) and Runtime error detection · See more »

Safety-critical system

A safety-critical system or life-critical system is a system whose failure or malfunction may result in one (or more) of the following outcomes.

New!!: Ada (programming language) and Safety-critical system · See more »


In the context of spaceflight, a satellite is an artificial object which has been intentionally placed into orbit.

New!!: Ada (programming language) and Satellite · See more »


Seed7 is an extensible general-purpose programming language designed by Thomas Mertes.

New!!: Ada (programming language) and Seed7 · See more »


SETL (SET Language) is a very high-level programming language based on the mathematical theory of sets.

New!!: Ada (programming language) and SETL · See more »

Simon Johnston

2012 Arnold Classic 22nd Simon Johnston (born 27 November 1982) is a strongman and weightlifter from Wales.

New!!: Ada (programming language) and Simon Johnston · See more »


Smalltalk is an object-oriented, dynamically typed, reflective programming language.

New!!: Ada (programming language) and Smalltalk · See more »

SofTech, Inc.

SofTech, Inc. is a multinational computer software company with offices in the United States, Italy, Germany and France with a worldwide annual revenue of US$ $12.1 million.

New!!: Ada (programming language) and SofTech, Inc. · See more »

Software bug

A software bug is an error, flaw, failure or fault in a computer program or system that causes it to produce an incorrect or unexpected result, or to behave in unintended ways.

New!!: Ada (programming language) and Software bug · See more »

Source lines of code

Source lines of code (SLOC), also known as lines of code (LOC), is a software metric used to measure the size of a computer program by counting the number of lines in the text of the program's source code.

New!!: Ada (programming language) and Source lines of code · See more »

SPARK (programming language)

SPARK is a formally defined computer programming language based on the Ada programming language, intended for the development of high integrity software used in systems where predictable and highly reliable operation is essential.

New!!: Ada (programming language) and SPARK (programming language) · See more »


SQL/PSM (SQL/Persistent Stored Modules) is an ISO standard mainly defining an extension of SQL with a procedural language for use in stored procedures.

New!!: Ada (programming language) and SQL/PSM · See more »

SRI International

SRI International (SRI) is an American nonprofit research institute headquartered in Menlo Park, California.

New!!: Ada (programming language) and SRI International · See more »

Steelman language requirements

The Steelman language requirements were a set of requirements which a high-level general-purpose programming language should meet, created by the United States Department of Defense in The Department of Defense Common High Order Language program in 1978.

New!!: Ada (programming language) and Steelman language requirements · See more »

Straw man proposal

A straw-man proposal is a brainstormed simple draft proposal intended to generate discussion of its disadvantages and to provoke the generation of new and better proposals.

New!!: Ada (programming language) and Straw man proposal · See more »

Strong and weak typing

In computer programming, programming languages are often colloquially classified as to whether the language's type system makes it strongly typed or weakly typed (loosely typed).

New!!: Ada (programming language) and Strong and weak typing · See more »

Structured programming

Structured programming is a programming paradigm aimed at improving the clarity, quality, and development time of a computer program by making extensive use of the structured control flow constructs of selection (if/then/else) and repetition (while and for), block structures, and subroutines in contrast to using simple tests and jumps such as the go to statement, which can lead to "spaghetti code" that is potentially difficult to follow and maintain.

New!!: Ada (programming language) and Structured programming · See more »

Switch statement

In computer programming languages, a switch statement is a type of selection control mechanism used to allow the value of a variable or expression to change the control flow of program execution via a multiway branch.

New!!: Ada (programming language) and Switch statement · See more »

Syntax (programming languages)

In computer science, the syntax of a computer language is the set of rules that defines the combinations of symbols that are considered to be a correctly structured document or fragment in that language.

New!!: Ada (programming language) and Syntax (programming languages) · See more »

Tartan Laboratories

Tartan Laboratories, Inc., later known as Tartan, Inc., was an American software company founded in 1981 and based in Pittsburgh, Pennsylvania, that specialized in language compilers, especially for the Ada programming language.

New!!: Ada (programming language) and Tartan Laboratories · See more »

Task (computing)

In computing, a task is a unit of execution or a unit of work.

New!!: Ada (programming language) and Task (computing) · See more »


TeleSoft, Inc. (sometimes written Telesoft) was an American software development company founded in 1981 and based in San Diego, California, that specialized in development tools for the Ada programming language.

New!!: Ada (programming language) and TeleSoft · See more »


The TGV (Train à Grande Vitesse, "high-speed train") is France's intercity high-speed rail service, operated by the SNCF, the state-owned national rail operator.

New!!: Ada (programming language) and TGV · See more »

TLD Systems

TLD Systems, Ltd. was an American software company active in the 1980s and 1990s and based in Torrance, California, that specialized in language compilers for the JOVIAL and Ada programming languages that were targeted to embedded systems.

New!!: Ada (programming language) and TLD Systems · See more »

Tony Hoare

Sir Charles Antony Richard Hoare (born 11 January 1934), is a British computer scientist.

New!!: Ada (programming language) and Tony Hoare · See more »

Transmission Voie-Machine

Transmission Voie-Machine (TVM, English: track-to-train transmission) is a form of in-cab signalling originally deployed in France and used on high-speed railway lines.

New!!: Ada (programming language) and Transmission Voie-Machine · See more »

Turing Award

The ACM A.M. Turing Award is an annual prize given by the Association for Computing Machinery (ACM) to an individual selected for contributions "of lasting and major technical importance to the computer field".

New!!: Ada (programming language) and Turing Award · See more »

Type safety

In computer science, type safety is the extent to which a programming language discourages or prevents type errors.

New!!: Ada (programming language) and Type safety · See more »

Type system

In programming languages, a type system is a set of rules that assigns a property called type to the various constructs of a computer program, such as variables, expressions, functions or modules.

New!!: Ada (programming language) and Type system · See more »

United States Air Force

The United States Air Force (USAF) is the aerial and space warfare service branch of the United States Armed Forces.

New!!: Ada (programming language) and United States Air Force · See more »

United States Department of Defense

The Department of Defense (DoD, USDOD, or DOD) is an executive branch department of the federal government of the United States charged with coordinating and supervising all agencies and functions of the government concerned directly with national security and the United States Armed Forces.

New!!: Ada (programming language) and United States Department of Defense · See more »


Verdix Corporation was an American software company active in the 1980s and 1990s and based in Fairfax County, Virginia, that specialized in language compilers for the Ada programming language.

New!!: Ada (programming language) and Verdix · See more »


VHDL (VHSIC Hardware Description Language) is a hardware description language used in electronic design automation to describe digital and mixed-signal systems such as field-programmable gate arrays and integrated circuits.

New!!: Ada (programming language) and VHDL · See more »

Working group

A working group or working party is a group of experts working together to achieve specified goals.

New!!: Ada (programming language) and Working group · See more »

Redirects here:

ADA programming language, Access type, Access types, Ada (language), Ada 2005, Ada 83, Ada 95, Ada Information Clearinghouse, Ada language, Ada prog, Ada programming, Ada programming language, Ada83, Ada95, Adalang, Computer language Ada, Libadalang, Limited type, MIL-STD-1815.


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

Hey! We are on Facebook now! »