Paper Info
Title
Inferring Method Effect Summaries for Nested Heap Regions
Abstract
Effect systems are important for reasoning about the side effects of a program. Although effect systems have been around for decades, they have not been widely adopted in practice because of the large number of annotations that they require. A tool that infers effects automatically can make effect systems practical. We present an effect inference algorithm and an Eclipse plug-in, DPJizer, which alleviate the burden of writing effect annotations for a language called Deterministic Parallel Java (DPJ). The key novel feature of the algorithm is the ability to infer effects on nested heap regions. Besides DPJ, we also illustrate how the algorithm can be used for a different effect system based on object ownership. Our experience shows that DPJizer is both useful and effective: (i) inferring effect annotations automatically saves significant programming burden; and (ii) inferred effects are more precise than those written manually, and are fine-grained enough to enable the compiler to prove determinism of the program.
Year
DOI
Venue
2009
10.1109/ASE.2009.68
ASE
Keywords
Field
DocType
nested heap regions,i. introduction,different effect system,inferring method effect summaries,parallel java,effect inference algorithm,effect system,key novel feature,infers effect,significant programming burden,side effect,effect annotation,inferring effect,machine learning,writing,computer science,engines,data mining,force,parallel programming,refactoring,java,object oriented programming
Deterministic Parallel Java,Programming language,Effect system,Object-oriented programming,Computer science,Inference,Heap (data structure),Theoretical computer science,Compiler,Java,Code refactoring
Conference
ISSN
Citations 
PageRank 
1527-1366
15
0.84
References 
Authors
21
6
Name
Order
Citations
PageRank
Mohsen Vakilian11627.62
Danny Dig2157079.66
Robert Bocchino3362.23
Jeffrey Overbey4727.26
Vikram S. Adve53347183.25
Ralph E. Johnson61790264.74