Observations on the assured evolution of concurrent Java programs

DOI10.1016/J.SCICO.2005.03.002zbMATH Open1101.68445OpenAlexW2074563583MaRDI QIDQ2575141FDOQ2575141

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

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

zbMATH Keywords

JavaConcurrencyProgram transformationStatic analysisRefactoringProgram assuranceProgram evolution

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cites Work

• Title not available (Why is that?)
• The Java memory model
• Title not available (Why is that?)
• Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning
• Lock coarsening: Eliminating lock overhead in automatically parallelized object-based programs
• Observations on the assured evolution of concurrent Java programs

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)