Observations on the assured evolution of concurrent Java programs

DOI10.1016/J.SCICO.2005.03.002MaRDI QIDQ2575141zbMATH OpenOpenAlexFDO

Authors Aaron Greenhouse, T. J. Halloran, William L. Scherlis

Publication date 8 December 2005

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2005.03.002

zbMATH Keywords

JavaConcurrencyProgram transformationStatic analysisRefactoringProgram assuranceProgram evolution

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Model checking of concurrent algorithms: from Java to C
• scientific article; zbMATH DE number 1670511
• A structured approach for developing concurrent programs in Java
• scientific article; zbMATH DE number 2087419
• Using atomic await commands to develop concurrent programs in Java

Cites work

• scientific article; zbMATH DE number 986405 (Why is no real title available?)
• scientific article; zbMATH DE number 1929900 (Why is no real title available?)
• Lock coarsening: Eliminating lock overhead in automatically parallelized object-based programs
• Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning
• Observations on the assured evolution of concurrent Java programs
• The Java memory model

Cited in

(2)

• Observations on the assured evolution of concurrent Java programs
• Behavior investigation of concurrent Java programs: an approach based on source-code instrumentation

This page was built for publication: Observations on the assured evolution of concurrent Java programs

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