Share
VIDEOS 1 TO 50
Philip Wadler and Erik Meijer: On Programming Language Theory and Practice
Philip Wadler and Erik Meijer: On Programming Language Theory and Practice
Published: 2010/12/24
Channel: schonfinkeled
Programming language theory
Programming language theory
Published: 2016/01/22
Channel: WikiAudio
Introduction to programming and programming languages: C Programming Tutorial 01
Introduction to programming and programming languages: C Programming Tutorial 01
Published: 2013/08/14
Channel: mycodeschool
Introduction to programming language theory
Introduction to programming language theory
Published: 2010/07/25
Channel: EW926
The First Programming Languages: Crash Course Computer Science #11
The First Programming Languages: Crash Course Computer Science #11
Published: 2017/05/10
Channel: CrashCourse
Understand Programming Languages
Understand Programming Languages
Published: 2016/01/16
Channel: Dave Xiang
Douglas Crockford: The JavaScript Programming Language
Douglas Crockford: The JavaScript Programming Language
Published: 2011/08/26
Channel: YUI Library
8.1: What is Object-Oriented Programming (OOP)? - Processing Tutorial
8.1: What is Object-Oriented Programming (OOP)? - Processing Tutorial
Published: 2015/07/24
Channel: The Coding Train
Intro to Theory of Programming
Intro to Theory of Programming
Published: 2015/03/17
Channel: Theory of Programming
1. What is Computation?
1. What is Computation?
Published: 2017/02/15
Channel: MIT OpenCourseWare
Which Programming Language to Learn in 2017?
Which Programming Language to Learn in 2017?
Published: 2017/03/02
Channel: Telusko Learnings
OCR GCSE Computing: Programming Languages - Topic 20
OCR GCSE Computing: Programming Languages - Topic 20
Published: 2015/02/20
Channel: Computer Science Tutor
Robert Virding - On Language Design (Lambda Days 2016)
Robert Virding - On Language Design (Lambda Days 2016)
Published: 2016/04/05
Channel: Erlang Solutions
Ron Pressler - The Practice and Theory of TLA+
Ron Pressler - The Practice and Theory of TLA+
Published: 2017/06/20
Channel: Curry On!
Programming and Math
Programming and Math
Published: 2015/07/17
Channel: Lambda Lounge Utah
Programming Theory - Arrays
Programming Theory - Arrays
Published: 2012/08/29
Channel: Chris Lewis
"A History of Programming Languages for 2 Voices" by David Nolen and Michael Bernstein
"A History of Programming Languages for 2 Voices" by David Nolen and Michael Bernstein
Published: 2015/09/27
Channel: Strange Loop
Theory of Computation: Programming Language L (Part 01)
Theory of Computation: Programming Language L (Part 01)
Published: 2011/09/19
Channel: vkedco
Python Programming
Python Programming
Published: 2014/11/10
Channel: Derek Banas
Lec 1 | MIT 6.00 Introduction to Computer Science and Programming, Fall 2008
Lec 1 | MIT 6.00 Introduction to Computer Science and Programming, Fall 2008
Published: 2009/08/20
Channel: MIT OpenCourseWare
Programming Theory - Scope
Programming Theory - Scope
Published: 2012/08/29
Channel: Chris Lewis
The Impact of Programming Language Theory on Computer Security
The Impact of Programming Language Theory on Computer Security
Published: 2016/11/29
Channel: Shams Usa
Masterminds of Programming Conversations with the Creators of Major Programming Languages Theory in
Masterminds of Programming Conversations with the Creators of Major Programming Languages Theory in
Published: 2017/03/28
Channel: Selena French
Masterminds of Programming Conversations with the Creators of Major Programming Languages Theory in
Masterminds of Programming Conversations with the Creators of Major Programming Languages Theory in
Published: 2016/12/23
Channel: Zara Creswick
Object-Oriented Programming
Object-Oriented Programming
Published: 2012/11/03
Channel: Brian Will
Programming - Language Oriented Modularity: From Theory to Practice
Programming - Language Oriented Modularity: From Theory to Practice
Published: 2017/06/20
Channel: programmingconf
Ideas about a new programming language for games.
Ideas about a new programming language for games.
Published: 2014/09/19
Channel: Jonathan Blow
Programming : languages tutorial (theory) 1
Programming : languages tutorial (theory) 1
Published: 2016/06/19
Channel: Code Ressources
Pointers in C Theory
Pointers in C Theory
Published: 2016/03/24
Channel: Telusko Learnings
C Language Tutorial for Beginners In Hindi - 1
C Language Tutorial for Beginners In Hindi - 1
Published: 2015/06/08
Channel: Programming Tutorials
Syntactic Structures - Programming Languages
Syntactic Structures - Programming Languages
Published: 2012/06/03
Channel: Udacity
Introduction to the Theory of Programming Languages Undergraduate Topics in Computer Science
Introduction to the Theory of Programming Languages Undergraduate Topics in Computer Science
Published: 2015/11/25
Channel: Jon G
Denotational Semantics The Scott Strachey Approach to Programming Language Theory Computer Science S
Denotational Semantics The Scott Strachey Approach to Programming Language Theory Computer Science S
Published: 2015/12/17
Channel: randy
Introduction to the Theory of Programming Languages Undergraduate Topics in Computer Science PDF
Introduction to the Theory of Programming Languages Undergraduate Topics in Computer Science PDF
Published: 2015/12/02
Channel: hailey
Programming Theory & Fundamentals: Coupling
Programming Theory & Fundamentals: Coupling
Published: 2012/11/28
Channel: Easy Learn Tutorial
Denotational Semantics The Scott Strachey Approach to Programming Language Theory Computer Science S
Denotational Semantics The Scott Strachey Approach to Programming Language Theory Computer Science S
Published: 2015/12/01
Channel: kyla
Lambda Jam 2015 - Robby Findler - Racket: A Programming-Language Programming Language
Lambda Jam 2015 - Robby Findler - Racket: A Programming-Language Programming Language
Published: 2015/10/18
Channel: YOW! Conferences
Denotational Semantics The Scott Strachey Approach to Programming Language Theory Computer Science S
Denotational Semantics The Scott Strachey Approach to Programming Language Theory Computer Science S
Published: 2015/11/13
Channel: George Anderson
1. What is Programming Language - Urdu Tutorials
1. What is Programming Language - Urdu Tutorials
Published: 2013/04/08
Channel: MavenApt Tutorials
Denotational Semantics The Scott Strachey Approach to Programming Language Theory Computer Science S
Denotational Semantics The Scott Strachey Approach to Programming Language Theory Computer Science S
Published: 2016/04/23
Channel: shawna
Category Theory for the Working Hacker by Philip Wadler
Category Theory for the Working Hacker by Philip Wadler
Published: 2016/11/11
Channel: Lambda World
Socio-PLT: Quantitative and Social Theories for Programming Language Adoption
Socio-PLT: Quantitative and Social Theories for Programming Language Adoption
Published: 2012/11/21
Channel: GoogleTechTalks
Programming Theory
Programming Theory
Published: 2014/08/14
Channel: Alison McLin
Introduction to the Theory of Programming Languages Undergraduate Topics in Computer Science
Introduction to the Theory of Programming Languages Undergraduate Topics in Computer Science
Published: 2015/11/15
Channel: Taylor
C Programming Tutorial | Learn C programming | C language
C Programming Tutorial | Learn C programming | C language
Published: 2015/11/23
Channel: ProgrammingKnowledge
Programming Theory - Sequence, Selection, Iteration
Programming Theory - Sequence, Selection, Iteration
Published: 2012/08/29
Channel: Chris Lewis
Go Programming
Go Programming
Published: 2015/02/16
Channel: Derek Banas
John Myles White on Fundamental Concepts in Programming Languages
John Myles White on Fundamental Concepts in Programming Languages
Published: 2015/03/24
Channel: PapersWeLove
Category Theory, The essence of interface-based design - Erik Meijer
Category Theory, The essence of interface-based design - Erik Meijer
Published: 2015/09/10
Channel: FooCafe
Principles of Programming Languages Lecture1 Part1
Principles of Programming Languages Lecture1 Part1
Published: 2014/01/23
Channel: Robert M. Siegfried
NEXT
GO TO RESULTS [51 .. 100]

WIKIPEDIA ARTICLE

From Wikipedia, the free encyclopedia
Jump to: navigation, search
The lowercase Greek letter λ (lambda) is an unofficial symbol of the field of programming language theory. This usage derives from the lambda calculus, a model of computation introduced by Alonzo Church in the 1930s and widely used by programming language researchers. It graces the cover of the classic text Structure and Interpretation of Computer Programs, and the title of the so-called Lambda Papers, written by Gerald Jay Sussman and Guy Steele, the developers of the Scheme programming language.

Programming language theory (PLT) is a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of programming languages and their individual features. It falls within the discipline of computer science, both depending on and affecting mathematics, software engineering and linguistics. It is a well-recognized branch of computer science, and an active research area, with results published in numerous journals dedicated to PLT, as well as in general computer science and engineering publications.

History[edit]

In some ways, the history of programming language theory predates even the development of programming languages themselves. 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, even though it was intended to model computation rather than being a means for programmers to describe algorithms to a computer system. Many modern functional programming languages have been described as providing a "thin veneer" over the lambda calculus,[1] and many are easily described in terms of it.

The first programming language to be invented was Plankalkül, which was designed by Konrad Zuse in the 1940s, but not publicly known until 1972 (and not implemented until 1998). The first widely known and successful high-level programming language was Fortran, developed from 1954 to 1957 by a team of IBM researchers led by John Backus. The success of FORTRAN led to the formation of a committee of scientists to develop a "universal" computer language; the result of their effort was ALGOL 58. Separate[2]ly, John McCarthy of MIT developed the Lisp programming language (based on the lambda calculus), the first language with origins in academia to be successful. With the success of these initial efforts, programming languages became an active topic of research in the 1960s and beyond.

Some other key events in the history of programming language theory since then:

1950s[edit]

1960s[edit]

1970s[edit]

1980s[edit]

1990s[edit]

Sub-disciplines and related fields[edit]

There are several fields of study which either lie within programming language theory, or which have a profound influence on it; many of these have considerable overlap. In addition, PLT makes use of many other branches of mathematics, including computability theory, category theory, and set theory.

Formal semantics[edit]

Formal semantics is the formal specification of the behaviour of computer programs and programming languages. Three common approaches to describe the semantics or "meaning" of a computer program are denotational semantics, operational semantics and axiomatic semantics.

Type theory[edit]

Type theory is the study of type systems; which are "a tractable syntactic method for proving the absence of certain program behaviors by classifying phrases according to the kinds of values they compute".[4] Many programming languages are distinguished by the characteristics of their type systems.

Program analysis and transformation[edit]

Program analysis is the general problem of examining a program and determining key characteristics (such as the absence of classes of program errors). Program transformation is the process of transforming a program in one form (language) to another form.

Comparative programming language analysis[edit]

Comparative programming language analysis seeks to classify programming languages into different types based on their characteristics; broad categories of programming languages are often known as programming paradigms.

Generic and metaprogramming[edit]

Metaprogramming is the generation of higher-order programs which, when executed, produce programs (possibly in a different language, or in a subset of the original language) as a result.

Domain-specific languages[edit]

Domain-specific languages are languages constructed to efficiently solve problems in a particular problem domain.

Compiler construction[edit]

Compiler theory is the theory of writing compilers (or more generally, translators); programs which translate a program written in one language into another form. The actions of a compiler are traditionally broken up into syntax analysis (scanning and parsing), semantic analysis (determining what a program should do), optimization (improving the performance of a program as indicated by some metric; typically execution speed) and code generation (generation and output of an equivalent program in some target language; often the instruction set of a CPU).

Run-time systems[edit]

Runtime systems refers to the development of programming language runtime environments and their components, including virtual machines, garbage collection, and foreign function interfaces.

Journals, publications, and conferences[edit]

Conferences are the primary venue for presenting research in programming languages. The most well known conferences include the Symposium on Principles of Programming Languages (POPL), Conference on Programming Language Design and Implementation (PLDI), the International Conference on Functional Programming (ICFP), and the International Conference on Object Oriented Programming, Systems, Languages and Applications (OOPSLA).

Notable journals that publish PLT research include the ACM Transactions on Programming Languages and Systems (TOPLAS), Journal of Functional Programming (JFP), Journal of Functional and Logic Programming, and Higher-Order and Symbolic Computation.

See also[edit]

References[edit]

  1. ^ http://www.c2.com/cgi/wiki?ModelsOfComputation
  2. ^ "Example Domain". www.example.com. Retrieved 2017-11-12. 
  3. ^ C. Böhm and W. Gross (1996). Introduction to the CUCH. In E. R. Caianiello (ed.), Automata Theory, p. 35-64/
  4. ^ Benjamin C. Pierce. 2002. Types and Programming Languages. MIT Press, Cambridge, MA, USA.

Further reading[edit]

External links[edit]

Disclaimer

None of the audio/visual content is hosted on this site. All media is embedded from other sites such as GoogleVideo, Wikipedia, YouTube etc. Therefore, this site has no control over the copyright issues of the streaming media.

All issues concerning copyright violations should be aimed at the sites hosting the material. This site does not host any of the streaming media and the owner has not uploaded any of the material to the video hosting servers. Anyone can find the same content on Google Video or YouTube by themselves.

The owner of this site cannot know which documentaries are in public domain, which has been uploaded to e.g. YouTube by the owner and which has been uploaded without permission. The copyright owner must contact the source if he wants his material off the Internet completely.

Powered by YouTube
Wikipedia content is licensed under the GFDL and (CC) license