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

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

Review

1999

Review

1999

Introduction. What This Book Is About. What's Different About This Book. Who This Book Is For. What You Need to Know Before You…

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…

1973

A considerable amount of programming language research has been directed towards the development of extensible languages…