pldb: programming languages papers

Skip to main content

976 papers · page 38 of 49

Entailment with Conditional Equality Constraints

Zhendong Su, Alexander Aiken

Abstract elided by the publisher.

PDF DOI dblp Copy BibTeX

Enforcing Safety Properties Using Type Specialization

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Encoding Intensional Type Analysis

Stephanie Weirich

Abstract elided by the publisher.

PDF DOI dblp Copy BibTeX

Typestate Checking of Machine Code

Zhichen Xu, Thomas W. Reps, Barton P. Miller

Abstract elided by the publisher.

PDF DOI dblp Copy BibTeX

Secure Information Flow and CPS

Steve Zdancewic, Andrew C. Myers

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Faithful Translations between Polyvariant Flows and Polymorphic Types

Torben Amtoft, Franklyn A. Turbak

Abstract elided by the publisher.

PDF DOI dblp Copy BibTeX

On the Expressiveness of Event Notification in Data-Driven Coordination Languages

Nadia Busi, Gianluigi Zavattaro

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Flow-Directed Closure Conversion for Typed Languages

Henry Cejtin, Suresh Jagannathan, Stephen Weeks

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Directional Type Checking for Logic Programs: Beyond Discriminative Types

Witold Charatonik

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Formalizing Implementation Strategies for First-Class Continuations

We present the first formalization of implementation strategies for first-class continuations. The formalization hinges on abstract machines for continuation-passing style (CPS) programs with a special treatment for the current continuation, accounting for the essence of first-cl…

PDF DOI dblp Copy BibTeX

Correctness of Java Card Method Lookup via Logical Relations

Ewen Denney, Thomas P. Jensen

Abstract elided by the publisher.

PDF DOI dblp Copy BibTeX

Compile-Time Debugging of C Programs Working on Trees

Jacob Elgaard, Anders Møller, Michael I. Schwartzbach

Abstract elided by the publisher.

DOI dblp Copy BibTeX

A Calculus for Compiling and Linking Classes

Kathleen Fisher, John H. Reppy, Jon G. Riecke

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Abstract Domains for Universal and Existential Properties

Andrew Heaton, Patricia M. Hill, Andy King

Abstract elided by the publisher.

PDF DOI dblp Copy BibTeX

A Type System for Bounded Space and Functional In-Place Update--Extended Abstract

Abstract elided by the publisher.

PDF DOI dblp Copy BibTeX

Secure Information Flow as Typed Process Behaviour

Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Implementing Groundness Analysis with Definite Boolean Functions

Jacob M. Howe, Andy King

Abstract elided by the publisher.

PDF DOI dblp Copy BibTeX

The Correctness of Type Specialisation

Abstract elided by the publisher.

PDF DOI dblp Copy BibTeX

Type Classes with Functional Dependencies

Abstract elided by the publisher.

PDF DOI dblp Copy BibTeX

Sharing Continuations: Proofnets for Languages with Explicit Control

Julia L. Lawall, Harry G. Mairson

Abstract elided by the publisher.

DOI dblp Copy BibTeX