Observations on the assured evolution of concurrent Java programs

DOI10.1016/j.scico.2005.03.002zbMath1101.68445OpenAlexW2074563583MaRDI QIDQ2575141

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

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

JavaStatic analysisProgram transformationConcurrencyRefactoringProgram assuranceProgram evolution

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (1)

Observations on the assured evolution of concurrent Java programs

Cites Work

• Lock coarsening: Eliminating lock overhead in automatically parallelized object-based programs
• Observations on the assured evolution of concurrent Java programs
• The Java memory model
• Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning
• Unnamed Item
• Unnamed Item

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