Sciweavers

Share
TOPLAS
2010

JavaCOP: Declarative pluggable types for java

8 years 7 months ago
JavaCOP: Declarative pluggable types for java
program constraints are defined over a program’s abstract syntax tree. The JAVACOP compiler automatically enforces these constraints on programs during compilation. The JAVACOP framework also includes a dataflow analysis API in order to support type systems which depend on flow-sensitive information. Finally, JAVACOP includes a novel test framework which helps users gain confidence in the correctness of their pluggable type systems. We demonstrate the framework by discussing a number of pluggable type systems which have been implemented in JAVACOP in order to detect errors and enforce strong invariants in programs. These type systems range from general-purpose checkers, such as a type system for nonnull references, to domain-specific ones, such as a checker for conformance to a library’s usage rules.
Shane Markstrum, Daniel Marino, Matthew Esquivel,
Added 31 Jan 2011
Updated 31 Jan 2011
Type Journal
Year 2010
Where TOPLAS
Authors Shane Markstrum, Daniel Marino, Matthew Esquivel, Todd D. Millstein, Chris Andreae, James Noble
Comments (0)
books