Programming language theory is the branch of computer science that deals with the design, implementation, analysis, characterization and classification of programming languages. Its deepest root predates electronic computers: the lambda calculus, developed by Alonzo Church and Stephen Cole Kleene in the 1930s, is considered by some to be the world's first programming language, and it still anchors how the field reasons about computation and meaning. This description is adapted from Wikipedia contributors under CC BY-SA 4.0; changes were made. https://creativecommons.org/licenses/by-sa/4.0/
Facts
Disputed
Origin YearThe lambda calculus, developed by Alonzo Church and Stephen Cole Kleene in the 1930s, is considered by some to be the world's first programming language and the field's mathematical root; Noam Chomsky's 1956 work on formal grammars is a second, later origin point some scholars use instead. Core ConcernWhat programming languages can express, how they are given precise meaning, and how they are designed and implemented. 1 Programming Language Theory
Filter Results1 entry
Connections
Associated With
Source Wikipedia: Formal Methods
John Backus, Pioneers John Backus led the team that designed Fortran and co-developed Backus-Naur Form, the notation for formally specifying a programming language's grammar that underlies most later work in programming language theory.
Source ACM A.M. Turing Award Citations
Includes
Source Wikipedia: ALGOL
Source Wikipedia: Barbara Liskov
Source Wikipedia: Garbage collection (computer science)
Source Wikipedia: Haskell
Source Wikipedia: Pascal (programming language)
Source Wikipedia: Scheme (programming language)
Source Wikipedia: Standard ML
Sources
1. Wikipedia: Programming Language Theory
Wikimedia FoundationOpening and History sections
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.
History section
The lambda calculus, developed by Alonzo Church and Stephen Cole Kleene in the 1930s, is considered by some to be the world's first programming language.
Opening section
Programming language theory (PLT) is a branch of computer science
View the Source Wikipedia: ALGOL
Wikipedia: Pascal (programming language)
Wikipedia: Haskell
Wikipedia: Scheme (programming language)
Wikipedia: Standard ML
ACM A.M. Turing Award Citations
Association for Computing MachineryAssociated With: John BackusView the Source Wikipedia: Garbage collection (computer science)
Wikimedia FoundationIncludes: Garbage Collection, History sectionView the Source Wikipedia: Formal Methods
Wikimedia FoundationAssociated With: Formal Methods, Fundamentals sectionQuote, Associated With: Formal Methods, Fundamentals section
Formal methods employ a variety of theoretical computer science fundamentals, including logic calculi, formal languages, automata theory, control theory, program semantics, type systems, and type theory.
Wikipedia: Barbara Liskov
Wikimedia FoundationIncludes: Barbara Liskov, contributions sectionQuote, Includes: Barbara Liskov, contributions section
With Jeannette Wing, she developed a particular definition of subtyping, commonly known as the Liskov substitution principle.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.