"Theory of programming" redirects here. For the branch of CS that deals with what problems can be solved, see Theory of computation.
This article includes a list of general references, but it lacks sufficient corresponding inline citations. Please help to improve this article by introducing more precise citations.(October 2015) (Learn how and when to remove this message)
Programming language theory (PLT) is a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of formal languages known as programming languages. Programming language theory is closely related to other fields including mathematics, software engineering, and linguistics. There are a number of academic conferences and journals in the area.
^Abelson, Harold (1996). Structure and Interpretation of Computer Programs. Gerald Jay Sussman, Julie Sussman (2nd ed.). Cambridge, Mass.: MIT Press. ISBN 0-262-01153-0. OCLC 34576857.
and 18 Related for: Programming language theory information
area. In some ways, the history of programminglanguagetheory predates even the development of programminglanguages themselves. The lambda calculus, developed...
computability theory, a system of data-manipulation rules (such as a model of computation, a computer's instruction set, a programminglanguage, or a cellular...
functional programming is a programming paradigm where programs are constructed by applying and composing functions. It is a declarative programming paradigm...
languages Programming language Timeline of computing Timeline of programminglanguagetheory "ARC - Assembler for Booth". hopl.info. Retrieved 11 October...
In computer science, formal languages are used, among others, as the basis for defining the grammar of programminglanguages and formalized versions of...
as a hacking interface to another language (particularly functional programming or procedural programminglanguages), or as a joke. The use of the word...
logic's quantifiers like "for all" and "there exists". In functional programminglanguages like Agda, ATS, Coq, F*, Epigram, Idris, and Lean, dependent types...
journals. In programminglanguagetheory, semantics is the field concerned with the rigorous mathematical study of the meaning of programminglanguages. It does...
and unlike many other programminglanguages, Prolog is intended primarily as a declarative programminglanguage: the program is a set of facts and rules...
The structured program theorem, also called the Böhm–Jacopini theorem, is a result in programminglanguagetheory. It states that a class of control-flow...
generation of images. Programminglanguagetheory considers different ways to describe computational processes, and database theory concerns the management...
Throughout the 20th century, research in compiler theory led to the creation of high-level programminglanguages, which use a more accessible syntax to communicate...
Declarative programming often considers programs as theories of a formal logic, and computations as deductions in that logic space. Declarative programming may...
Logic programming is a programming, database and knowledge representation paradigm based on formal logic. A logic program is a set of sentences in logical...
SETL (SET Language) is a very high-level programminglanguage based on the mathematical theory of sets. It was originally developed at the New York University...
weaknesses. Various programming paradigms, such as object-oriented programming. Programminglanguagetheory - Theory of programminglanguage design Formal semantics...