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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2015

A reflective language makes the language semantics open to user programs and allows them to access, extend, and modify it from…

2010

Managing variation is an important problem in software engineering that takes different forms, ranging from version control and…

2008

2005

The heterogeneity and open nature of network systems make analysis of compositions of components quite challenging, making the…

2003

Modern database systems provide not only powerful data models but also complex query languages supporting powerful features such…

2003

Robots are becoming increasingly common in, and important to, many commercial, industrial, and military applications. This paper…

1993

In concurrent process theory, processes are often modeled by state machines and Petri Nets. Algebraic process theories based on…

1988

A significant motivation for programming language research is to find good abstractions and conceptual frameworks that enable us…

1988

This volume introduces and explores those parts of programming language theory that have important applications in improving the…

1984

It is well recognized that type checking and in fe rence sys tems are very i mpor t a n t to develop correct programs if the p…