Abstract interpretation of an object calculus for synchronization optimizations

MaRDI QIDQ5472931zbMATH OpenFDO

Authors Roberto Barbuti, Stefano Cataudella

Publication date 19 June 2006

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 2104620
• Comprehensive synchronization elimination for Java.
• Using abstract interpretation to correct synchronization faults
• scientific article; zbMATH DE number 1617335
• scientific article; zbMATH DE number 2242693

Cited in

(7)

• Comprehensive synchronization elimination for Java.
• scientific article; zbMATH DE number 1617335 (Why is no real title available?)
• Using abstract interpretation to correct synchronization faults
• scientific article; zbMATH DE number 2104620 (Why is no real title available?)
• Abstract interface behavior of object-oriented languages with monitors
• Abstract methods for synchronization and applications
• Deriving escape analysis by abstract interpretation

This page was built for publication: Abstract interpretation of an object calculus for synchronization optimizations

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