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...

others such as imperative programming and declarative programming. Significant object-oriented languages include Ada, ActionScript, C++, Common Lisp, C#...

C (pronounced /ˈsiː/ – like the letter c) is a general-purpose programming language. It was created in the 1970s by Dennis Ritchie and remains very widely...

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...

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

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...

P4 is a programming language for controlling packet forwarding planes in networking devices, such as routers and switches. In contrast to a general purpose...

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

Natural-language programming (NLP) is an ontology-assisted way of programming in terms of natural-language sentences, e.g. English. A structured document...

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

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

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

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...

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

Unix-like operating systems. The AWK language is a data-driven scripting language consisting of a set of actions to be taken against streams of textual...

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

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...

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

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

science, declarative programming is a programming paradigm—a style of building the structure and elements of computer programs—that expresses the logic...

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

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

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

Action (firearms), the mechanism that manipulates cartridges and/or seals the breech Action! (programming language), for Atari 8-bit computers Action...

agent programming language for programming cognitive agents. GOAL agents derive their choice of action from their beliefs and goals. The language provides...

domain-specific language is somewhere between a tiny programming language and a scripting language, and is often used in a way analogous to a programming library...

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