pldb: programming languages papers

Skip to main content

613 papers · page 24 of 31

Heterogeneous Fixed Points with Application to Points-To Analysis

Aditya Kanade, Uday P. Khedker, Amitabha Sanyal

Abstract elided by the publisher.

DOI dblp Copy BibTeX

A Path Sensitive Type System for Resource Usage Verification of C Like Languages

Hyun-Goo Kang, Youil Kim, Taisook Han, Hwansoo Han

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Loop Invariants on Demand

K. Rustan M. Leino, Francesco Logozzo

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Reflection Analysis for Java

V. Benjamin Livshits, John Whaley, Monica S. Lam

Abstract elided by the publisher.

DOI dblp Copy BibTeX

On the Rôle of Abstract Non-interference in Language-Based Security

Isabella Mastroeni

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Data Refinement with Low-Level Pointer Operations

Ivana Mijajlovic, Hongseok Yang

Abstract elided by the publisher.

DOI dblp Copy BibTeX

The Parallel Implementation of the Astrée Static Analyzer

The Astree static analyzer is a specialized tool that can prove the absence of runtime errors, including arithmetic overflows, in large critical programs. Keeping analysis times reasonable for industrial use is one of the design objectives. In this paper, we discuss the parallel …

PDF DOI dblp Copy BibTeX

Register Allocation Via Coloring of Chordal Graphs

Fernando Magno Quintão Pereira, Jens Palsberg

Abstract elided by the publisher.

DOI dblp Copy BibTeX

An Abstract Interpretation Perspective on Linear vs. Branching Time

Francesco Ranzato, Francesco Tapparo

Abstract elided by the publisher.

Full text DOI dblp Copy BibTeX

A Next-Generation Platform for Analyzing Executables

Thomas W. Reps, Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Abstract Dependences for Alarm Diagnosis

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Termination Analysis of Higher-Order Functional Programs

Damien Sereni, Neil D. Jones

Abstract elided by the publisher.

DOI dblp Copy BibTeX

The Essence of Dataflow Programming

Tarmo Uustalu, Varmo Vene

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis

Peter Vanbroekhoven, Gerda Janssens, Maurice Bruynooghe, Francky Catthoor

Abstract elided by the publisher.

Full text DOI dblp Copy BibTeX

Using Datalog with Binary Decision Diagrams for Program Analysis

John Whaley, Dzintars Avots, Michael Carbin, Monica S. Lam

Abstract elided by the publisher.

DOI dblp Copy BibTeX

A Concurrent System of Multi-ported Processes with Causal Dependency

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Automatic Generation of Editors for Higher-Order Data Structures

Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer, Arjen van Weelden

Abstract elided by the publisher.

Full text DOI dblp Copy BibTeX

D-Fusion: A Distinctive Fusion Calculus

Michele Boreale, Maria Grazia Buscemi, Ugo Montanari

Abstract elided by the publisher.

DOI dblp Copy BibTeX

A Uniform Reduction Equivalence for Process Calculi

Abstract elided by the publisher.

DOI dblp Copy BibTeX

A Type Theory for Krivine-Style Evaluation and Compilation

Kwanghoon Choi, Atsushi Ohori

Abstract elided by the publisher.

DOI dblp Copy BibTeX