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.

2019

Programming language design requires making many usability-related design decisions. We explored using user-centered methods to…

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…

2010

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

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…

1988

The matrix is a commonly used two-dimensional data structure. On a two-dimensional display, 2-D data structures are more suitable…

1988

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

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…