Spec# is a programming language with specification language features that extends the capabilities of the C# programming language with Eiffel-like contracts, including object invariants, preconditions and postconditions.
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.
Oberon (programming language)
Oberon is a general-purpose programming language created in 1986 by Professor Niklaus Wirth and the latest member of the Wirthian family of ALGOL-like languages (Euler, Algol-W, Pascal, Modula, and Modula-2).
Simula is the name of two simulation programming languages, Simula I and Simula 67, developed in the 1960s at the Norwegian Computing Center in Oslo, by Ole-Johan Dahl and Kristen Nygaard.
ActionScript is an object-oriented programming language originally developed by Macromedia Inc.
C Sharp (programming language)
() C# (pronounced as see sharp) is a multi-paradigm programming language encompassing strong typing, imperative, declarative, functional, generic, object-oriented (class-based), and component-oriented programming disciplines.
COBOL (/ˈkoʊbɒl/, an acronym for common business-oriented language) is a compiled English-like computer programming language designed for business use.
Common Lisp (CL) is a dialect of the Lisp programming language, published in ANSI standard document ANSI INCITS 226-1994 (R2004) (formerly X3.226-1994 (R1999)).
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.
Objective-C is a general-purpose, object-oriented programming language that adds Smalltalk-style messaging to the C programming language.
Ruby (programming language)
Ruby is a dynamic, reflective, object-oriented, general-purpose programming language.
Smalltalk is an object-oriented, dynamically typed, reflective programming language.
Active Oberon is a general purpose programming language developed during 1996-1998 by the group around Niklaus Wirth and Jürg Gutknecht at the Swiss Federal Institue of Technology (ETH) in Zürich.
Bistro (programming language)
Bistro is a programming language designed and developed by Nikolas Boyd.
PascalABC.NET – is a Pascal programming language integrated development environment that implements classic Pascal, most Delphi language features, as well as a number of their own extensions.
F-Script (programming language)
F-Script is an object-oriented scripting programming language for Apple's OS X operating system developed by Philippe Mougin.
The ebda3 programming language (Arabic: إبداع) is an object-oriented, imperative, multi-paradigm programming language created by Waeel Hassan (Abou Iyas) and released in November 2012.
C++ (pronounced cee plus plus, /ˈsiː plʌs plʌs/) is a general-purpose programming language.
ActiveVFP (also known as AVFP) is a server-side scripting framework designed for Web development to produce dynamic Web pages.
Oak (programming language)
Oak is a discontinued programming language created by James Gosling in 1991, initially for Sun Microsystems' set-top box project.
EC (programming language)
eC (Ecere C) is an object-oriented programming language, defined as a super-set of the C language.
Python for S60
The Python for S60 also called PyS60 (Unix name), was Nokia’s port of the general Python programming language to its S60 software platform, originally based on Python 2.
MetaQuotes Language MQL4/MQL5
MQL4 (MetaQuotes Language 4) and MQL5 (MetaQuotes Language 5) are integrated programming languages designed for developing trading robots, technical market indicators, scripts and function libraries within the MetaTrader software.