Programming Languages and Systems (TOPLAS)


Search Issue
enter search term and/or author name


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 32 Issue 2, January 2010

JavaCOP: Declarative pluggable types for java
Shane Markstrum, Daniel Marino, Matthew Esquivel, Todd Millstein, Chris Andreae, James Noble
Article No.: 4
DOI: 10.1145/1667048.1667049

Pluggable types enable users to enforce multiple type systems in one programming language. We have developed a suite of tools, called the JavaCOP framework, that allows developers to create pluggable type systems for Java. JavaCOP provides a...

A relational approach to interprocedural shape analysis
Bertrand Jeannet, Alexey Loginov, Thomas Reps, Mooly Sagiv
Article No.: 5
DOI: 10.1145/1667048.1667050

This article addresses the verification of properties of imperative programs with recursive procedure calls, heap-allocated storage, and destructive updating of pointer-valued fields, that is, interprocedural shape analysis. The article...

Hybrid type checking
Kenneth Knowles, Cormac Flanagan
Article No.: 6
DOI: 10.1145/1667048.1667051

Traditional static type systems are effective for verifying basic interface specifications. Dynamically checked contracts support more precise specifications, but these are not checked until runtime, resulting in incomplete detection of defects....