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) » « Shrink index
A "Hello, World!" program is a computer program that outputs or displays "Hello, World!" to a user.
ACM Queue is a bimonthly computer magazine founded and published by the Association for Computing Machinery (ACM).
The Ada Conformity Assessment Test Suite (ACATS) is the test suite used for Ada processor conformity testing.
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.
The Ada Semantic Interface Specification (ASIS) is a layered, open architecture providing vendor-independent access to the Ada Library Environment.
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.
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.
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).
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.
The Airplane Information Management System (AIMS) is the "brains" of Boeing 777 aircraft.
Professor Alan Burns FREng FIET FBCS SMIEEE CEng is a professor in the Computer Science Department at the University of York, England.
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.
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.
ALGOL 60 (short for Algorithmic Language 1960) is a member of the ALGOL family of computer programming languages.
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.
The company Alsys, SA. (founded 1980, merged 1995) was a software development company created to support initial work on the Ada programming language.
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.
Andy J. Wellings is a professor in the Computer Science department at the University of York in northern England.
APSE standing for Ada Programming Support Environment was a specification for a programming environment to support software development in the Ada programming language.
Ariane is a series of a European civilian expendable launch vehicles for space launch use.
Avionics are the electronic systems used on aircraft, artificial satellites, and spacecraft.
The Boeing 777 is a family of long-range wide-body twin-engine jet airliners developed and manufactured by Boeing Commercial Airplanes.
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.
C++ ("see plus plus") is a general-purpose programming language.
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.
Chapel, the Cascade High Productivity Language, is a parallel programming language developed by Cray.
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.
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.
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.
This comparison of programming languages compares the features of language syntax (format) for over 50 computer programming languages.
A compiler is computer software that transforms computer code written in one programming language (the source language) into another programming language (the target language).
Computer programming is the process of building and designing an executable computer program for accomplishing a specific computing task.
In computing, cross-platform software (also multi-platform software or platform-independent software) is computer software that is implemented on multiple computing platforms.
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.
The dash is a punctuation mark that is similar in appearance to and, but differs from these symbols in both length and height.
David A. Wheeler (born 1965) is a computer scientist.
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.
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.
Design by contract (DbC), also known as contract programming, programming by contract and design-by-contract programming, is an approach for designing software.
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.
In computer science, dynamic dispatch is the process of selecting which implementation of a polymorphic operation (method or function) to call at run time.
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.
Elliot Bruce Koffman (born 7 May 1942 in Boston, Massachusetts) is a noted computer scientist and educationist.
An embedded system is a computer system with a dedicated function within a larger mechanical or electrical system, often with real-time computing constraints.
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.
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.
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.
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.
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.
In computer science, garbage collection (GC) is a form of automatic memory management.
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.
GNAT is a free-software compiler for the Ada programming language which forms part of the GNU Compiler Collection.
GNAT Programming Studio (GPS, formerly known as the GNAT Programming System) is a free multi-language integrated development environment (IDE) by AdaCore.
The GNU Compiler Collection (GCC) is a compiler system produced by the GNU Project supporting various programming languages.
GoTo (goto, GOTO, GO TO or other case combinations, depending on the programming language) is a statement found in many computer programming languages.
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.
The Graphical Kernel System (GKS) was the first ISO standard for low-level computer graphics, introduced in 1977.
Green Hills Software is a privately owned company that builds operating systems and programming tools for embedded systems.
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.
The Guarded Command Language (GCL) is a language defined by Edsger Dijkstra for predicate transformer semantics.
The High Order Language Working Group (HOLWG) was a working group instrumental in developing the Ada computer programming language.
In computer science, a high-level programming language is a programming language with strong abstraction from the details of the computer.
Honeywell Aerospace is a manufacturer of aircraft engines and avionics, as well as a producer of auxiliary power units (APUs) and other aviation products.
In computer science, imperative programming is a programming paradigm that uses statements that change a program's state.
An interface description language or interface definition language (IDL), is a specification language used to describe a software component's application programming interface (API).
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.
The International Organization for Standardization (ISO) is an international standard-setting body composed of representatives from various national standards organizations.
International standards are standards developed by international standards organizations.
ISO/IEC 8652 Information technology — Programming languages — Ada is the international standard for the computer programming language Ada.
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.
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.
John Gilbert Presslie Barnes is a British computer scientist best known for his role in developing and publicising the Ada programming language.
LIS (Language d'Implementation de Systèmes) was a system implementation programming language designed by Jean Ichbiah, who later designed Ada.
Lisp (historically, LISP) is a family of computer programming languages with a long history and a distinctive, fully parenthesized prefix notation.
Memory management is a form of resource management applied to computer memory.
In computer science, message passing is a technique for invoking behavior (i.e., running a program) on a computer.
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.
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.
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.
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.
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.
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.
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.
Nell B. Dale is an American computer scientist noted for her work in computer science education and computer science introductory programming textbooks.
Nim (formerly named Nimrod) is an imperative, multi-paradigm, compiled programming language designed and developed by Andreas Rumpf.
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.
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.
A nondeterministic programming language is a language which can specify, at certain points in the program (called "choice points"), various alternatives for program flow.
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").
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.
Parallel computing is a type of computation in which many calculations or the execution of processes are carried out concurrently.
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.
PL/pgSQL (Procedural Language/PostgreSQL) is a procedural programming language supported by the PostgreSQL ORDBMS.
PL/SQL (Procedural Language/Structured Query Language) is Oracle Corporation's procedural extension for SQL and the Oracle relational database.
In computer science, a pointer is a programming language object that stores the memory address of another value located in computer memory.
The Portable Operating System Interface (POSIX) is a family of standards specified by the IEEE Computer Society for maintaining compatibility between operating systems.
In computer science, primitive data type is either of the following.
A programming language is a formal language that specifies a set of instructions that can be used to produce various kinds of output.
Programming paradigms are a way to classify programming languages based on their features.
PTC (formerly Parametric Technology Corporation) is a computer software and services company founded in 1985 and headquartered outside of Boston, Massachusetts.
The Ravenscar profile is a subset of the Ada tasking features designed for safety-critical hard 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.
In computer science, a record (also called a structure, struct, or compound data) is a basic data structure.
In computer science, region-based memory management is a type of memory management in which each allocated object is assigned to a region.
Ruby is a dynamic, interpreted, reflective, object-oriented, general-purpose programming language.
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.
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.
In the context of spaceflight, a satellite is an artificial object which has been intentionally placed into orbit.
Seed7 is an extensible general-purpose programming language designed by Thomas Mertes.
SETL (SET Language) is a very high-level programming language based on the mathematical theory of sets.
2012 Arnold Classic 22nd Simon Johnston (born 27 November 1982) is a strongman and weightlifter from Wales.
Smalltalk is an object-oriented, dynamically typed, reflective programming language.
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.
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.
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.
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.
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.
SRI International (SRI) is an American nonprofit research institute headquartered in Menlo Park, California.
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.
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.
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).
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.
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.
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.
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.
In computing, a task is a unit of execution or a unit of work.
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.
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.
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.
Sir Charles Antony Richard Hoare (born 11 January 1934), is a British computer scientist.
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.
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".
In computer science, type safety is the extent to which a programming language discourages or prevents type errors.
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.
The United States Air Force (USAF) is the aerial and space warfare service branch of the United States Armed Forces.
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.
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.
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.
A working group or working party is a group of experts working together to achieve specified goals.
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.