Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 241,023,668 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
ACM Transactions on Programming Languages and Systems
ALGOL 58
Actor model
Ad hoc polymorphism
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Usability Methods for Designing Programming Languages for Software Engineers
Michael J. Coblenz
,
Gauri Kambhatla
,
+5 authors
B. Myers
2019
Corpus ID: 210839600
Programming language design requires making many usability-related design decisions. We explored using user-centered methods to…
Expand
2018
2018
Verifying Interfaces Between Container-Based Components
Christopher S. Meiklejohn
,
Zeeshan Ali Lakhani
2018
Corpus ID: 52264517
Container-based programming has become the lingua franca for building distributed applications. More than ever before…
Expand
2011
2011
Liberating Composition from Language Dictatorship through First-class Composition
Christoph Bockisch
2011
Corpus ID: 11915084
The software engineering discipline faces many challenges; one of the important challenges is managing the complexity of software…
Expand
2011
2011
Reuse by Inheritance in Agent Programming Languages
Howell R. Jordan
,
S. Russell
,
Gregory M. P. O'Hare
,
Rem W. Collier
International Conference on Interaction Design…
2011
Corpus ID: 46010015
The need to modularise and thereby reuse complex agent programs has long been recognised in agent programming language research…
Expand
2009
2009
Higher-Order Program Verification and Language-Based Security
Naoki Kobayashi
Asian Computing Science Conference
2009
Corpus ID: 45514937
Language-based security has been a hot research area of computer security in the last decade. It addresses various concerns about…
Expand
Review
2005
Review
2005
Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
Vivek Sarkar
,
Mary W. Hall
ACM-SIGPLAN Symposium on Programming Language…
2005
Corpus ID: 62121849
It is our great pleasure to welcome you to the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation…
Expand
2002
2002
Structural Induction and the λ-Calculus
René Vestergaard
2002
Corpus ID: 1200934
We consider formal provability with structural induction and related proof principles in the λ-calculus presented with first…
Expand
Review
1999
Review
1999
Sams Teach Yourself Data Structures and Algorithms in 24 Hours
Robert W. Lafore
1999
Corpus ID: 60391011
Introduction. What This Book Is About. What's Different About This Book. Who This Book Is For. What You Need to Know Before You…
Expand
1998
1998
An Algebraic Semantics for an Abstract Language with Intra-Object-Concurrency
T. Gehrke
European Conference on Parallel Processing
1998
Corpus ID: 45267717
Object-oriented specification and implementation of reactive and distributed systems are of increasing importance in computer…
Expand
1987
1987
On shared systems
J. Jacob
1987
Corpus ID: 59690031
Most computing systems are shared between users of various kinds. This thesis treats such systems as mathematical objects, and…
Expand