Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Programming language theory

Known as: PLT, Programming language research, Theory of programming languages 
Programming language theory (PLT) is a branch of computer science that deals with the design, implementation, analysis, characterization, and… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2016
Review
2016
A recent trend in programming language research is to use behavioral type theory to ensure various correctness properties of… Expand
  • figure 1.1
  • figure 2.1
  • table 2.1
  • figure 4.1
  • figure 8.1
Is this relevant?
2016
2016
Thank you for downloading design patterns explained a new perspective on object oriented design. Maybe you have knowledge that… Expand
Is this relevant?
2011
2011
Programming languages have advanced tremendously over the years, but program debuggers have hardly changed. Sequential debuggers… Expand
  • figure 1
  • figure 4
  • figure 3
  • figure 5
Is this relevant?
2007
2007
High-Level Abstractions for Low-Level Programming Iavor Sotirov Diatchki Ph.D., OGI School of Science & Engineering at Oregon… Expand
  • figure 1.1
  • figure 1.2
  • figure 1.3
  • figure 6.3
Is this relevant?
1998
1998
The significance of type theory to the theory of programming languages has long been recognized. Advances in programming… Expand
  • figure 3.1
  • figure 3.2
  • figure 3.4
  • figure 3.5
  • figure 3.6
Is this relevant?
1997
1997
diagnosis searches for incorrectness and incompleteness errors as de ned in Section 3.2, using the su cient conditions given in… Expand
  • table V
Is this relevant?
Highly Cited
1993
Highly Cited
1993
Semantics of Programming Languages exposes the basic motivations and philosophy underlying the applications of semantic… Expand
Is this relevant?
Highly Cited
1988
Highly Cited
1988
It is argued that techniques for proving the correctness of hardware designs must use abstraction mechanisms for relating formal… Expand
Is this relevant?
1988
1988
A significant motivation for programming language research is to find good abstractions and conceptual frameworks that enable us… Expand
Is this relevant?
Highly Cited
1981
Highly Cited
1981
From the Publisher: "First book-length exposition of the denotational (or `mathematical' or `functional') approach to the formal… Expand
Is this relevant?