Ada

Paradigms	structured programming, object-oriented programming, multi-paradigm programming, imperative programming
Typing discipline	static typing, strong typing, safe typing, nominative typing
First appeared	1980
Designed by	S. Tucker Taft, Jean Ichbiah
Developer	Jean Ichbiah, S. Tucker Taft
Type	object-based language, imperative programming language, multi-paradigm programming language, programming language, wide-spectrum language
First release	1983
Influenced by	Pascal, Modula-2, Eiffel, Green, Java, C++, Smalltalk, ALGOL 68, Ada 95, ALGOL 60
Website	adaic.org

Sources: Wikidata (CC0) · Wikidata Q154755

Programming languages · 15

Language	Paradigms	First appeared	Developer
Austral	systems programming	—	—
C++	object-oriented programming, multi-paradigm programming, functional programming, procedural programming, generic programming	1983	Bjarne Stroustrup
Chapel	object-oriented programming, array programming, parallel computing	2009	Brad Chamberlain, Cray
Concurrent C	concurrent computing, imperative programming	1984	—
Eiffel	class-based programming, multi-paradigm programming, concurrent computing, generic programming, object-oriented programming	1986	Bertrand Meyer
Erlang	concurrent computing, functional programming, multi-paradigm programming, declarative programming	1986	Robert Virding, Joe Armstrong, Ericsson
Java	object-oriented programming, generic programming, component-based software engineering, concurrent object-oriented programming, class-based programming, imperative programming, structured programming, functional programming, reflective programming	1995	Sun Microsystems, Oracle Corporation, James Gosling
Nim	metaprogramming, concurrent computing, procedural programming, functional programming, imperative programming, macro metaprogramming, object-oriented programming	2008	—
ParaSail	concurrent computing, parallel computing, object-oriented programming, procedural programming, structured programming	2009	—
PL/pgSQL	procedural programming	1998	—
PL/SQL	procedural programming	1992	—
Raku	object-oriented programming, imperative programming, functional programming	2015	Audrey Tang, Larry Wall
Ruby	reflective programming, functional programming, imperative programming, object-oriented programming	1995	Yukihiro Matsumoto
Seed7	imperative programming, object-oriented programming, multi-paradigm programming, generic programming, reflective programming, structured programming	2005	—
XL	multi-paradigm programming, imperative programming, functional programming	2000	Christophe de Dinechin

Operating systems · 3

Operating system	Developer	First release	License
IMAX 432	Intel	—	—
LynxOS	Lynx Software Technologies	—	—
MaRTE OS	University of Cantabria	—	GNU General Public License, version 2.0

Programming languages · 1

Language	Paradigms	First appeared	Developer
SPARK	procedural programming	1988	Altran, University of Southampton