Precise Set Sharing Analysis for Java-Style Programs

DOI10.1007/978-3-540-78163-9_17MaRDI QIDQ5452716zbMATH OpenOpenAlexFDO

Authors Mario Méndez-Lojo, Manuel Hermenegildo

Publication date 4 April 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://oa.upm.es/2906/

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Static Analysis
• Magic-sets for localised analysis of Java bytecode
• Alias analysis in Java with reference-set representation for high-performance computing
• scientific article; zbMATH DE number 1848376
• Computer Aided Verification
• Exploiting linearity in sharing analysis of object-oriented programs
• A set-based context model for program analysis

Cited in

(9)

• scientific article; zbMATH DE number 1848376 (Why is no real title available?)
• Parallel Logic Programming: A Sequel
• Alias analysis in Java with reference-set representation for high-performance computing
• Exploiting linearity in sharing analysis of object-oriented programs
• Shape analysis with reference set relations
• Static Analysis
• Automatic inference of stationary fields, a generalization of Java's final fields
• Negative Ternary Set-Sharing
• The role of linearity in sharing analysis

This page was built for publication: Precise Set Sharing Analysis for Java-Style Programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5452716)