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.

2018

Traditional compilation faces numerous challenges with program optimizations for parallel architectures. A particular challenge…

2016

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

2011

The software engineering discipline faces many challenges; one of the important challenges is managing the complexity of software…

2009

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

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…

1988

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

1988

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

1987

Most computing systems are shared between users of various kinds. This thesis treats such systems as mathematical objects, and…

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…