Action! is a procedural programming language and integrated development environment written by Clinton Parker for the Atari 8-bit computers. The language...

Agda is a dependently typed functional programming language originally developed by Ulf Norell at Chalmers University of Technology with implementation...

general-purpose programming language that runs on the BEAM virtual machine, which is also used to implement the Erlang programming language. Elixir builds...

C is a general-purpose programming language. It was created in the 1970s by Dennis Ritchie and remains widely used and influential. By design, C gives...

Go! is an agent-based programming language in the tradition of logic-based programming languages like Prolog. It was introduced in a 2003 paper by Francis...

system programming language designed by Andrew Kelley. It is free and open-source software, released under an MIT License. A major goal of the language is...

to notable programming languages, in current or historical use. Dialects of BASIC (which have their own page), esoteric programming languages, and markup...

Object-oriented programming (OOP) is a programming paradigm based on the object – a software entity that encapsulates data and functionality. An OOP program consists...

OBJ is a programming language family introduced by Joseph Goguen in 1976, and further worked on by Jose Meseguer. It is a family of declarative "ultra...

is a list of notable programming languages, grouped by type. The groupings are overlapping; not mutually exclusive. A language can be listed in multiple...

UR-lang) is a general-purpose, concurrent, functional high-level programming language, and a garbage-collected runtime system. The term Erlang is used...

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

the cover of The AWK Programming Language. When written in all lowercase letters, as awk, it refers to the Unix or Plan 9 program that runs scripts written...

computer programming, a programming language implementation is a system for executing computer programs. There are two general approaches to programming language...

computing, a visual programming language (visual programming system, VPL, or, VPS), also known as diagrammatic programming, graphical programming or block coding...

Scratch is a high-level, block-based visual programming language and website aimed primarily at children as an educational tool, with a target audience...

and object-oriented high-level programming language, inspired by Pascal and other languages. It has built-in language support for design by contract (DbC)...

characterization, and classification of formal languages known as programming languages. Programming language theory is closely related to other fields including...

spreadsheets, functional programming, and computer math packages. It has also inspired several other programming languages. A mathematical notation for...

computer programming. It makes it possible to embed complex objects in simple documents without needing to switch between programming languages or development...

general-purpose, multi-paradigm, statically typed, compiled high-level system programming language, designed and developed by a team around Andreas Rumpf. Nim is designed...

Rust is a general-purpose programming language emphasizing performance, type safety, and concurrency. It enforces memory safety, meaning that all references...

TRAC (for Text Reckoning And Compiling) Language is a programming language developed between 1959–1964 by Calvin Mooers and first implemented on the PDP-1...

record of notable programming languages, by decade. History of computing hardware History of programming languages Programming language Timeline of computing...

Imperative programming – explicit statements that change a program state Logic programming – uses explicit mathematical logic for programming Metaprogramming...

Swift is a high-level general-purpose, multi-paradigm, compiled programming language created by Chris Lattner in 2010 for Apple Inc. and maintained by...

an action language is a language for specifying state transition systems, and is commonly used to create formal models of the effects of actions on the...

by John Ford Action (1980 film), a film by Tinto Brass Action 3D, a 2013 Telugu language film Action (2019 film), a Kollywood film. Action (music), a characteristic...

logic. Unlike many other programming languages, Prolog is intended primarily as a declarative programming language: the program is a set of facts and rules...

In programming language theory, semantics is the rigorous mathematical study of the meaning of programming languages. Semantics assigns computational...