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.

2016

1. Incommensurability Science is often distinguished from other human activities by its progressive nature. It has standards for…

2015

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

2009

Language-based security has been a hot research area of computer security in the last decade. It addresses various concerns about…

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…

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…