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

Related topics

Related topics

50 relations
ACM Transactions on Programming Languages and SystemsALGOL 58Actor modelAd hoc polymorphism
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2016
Review
2016
Behavioral Types in Programming Languages
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
Design Patterns Explained A New Perspective On Object Oriented Design
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
Assertion Based Parallel Debugging
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
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
Type-theoretic methodology for practical programming languages
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
On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs
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 - structures and techniques
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
Abstraction Mechanisms for Hardware Verification
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
Detecting stable properties of networks in concurrent logic programming languages
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
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
From the Publisher: "First book-length exposition of the denotational (or `mathematical' or `functional') approach to the formal… Expand
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE