A shared-variable concurrency analysis of multi-threaded object-oriented programs

DOI10.1016/J.TCS.2008.09.024zbMath1169.68012OpenAlexW2118384673MaRDI QIDQ1004057

Frank S. de Boer

Publication date: 2 March 2009

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2008.09.024

zbMATH Keywords

verificationcompletenesssoundnesspartial correctnessmulti-threaded object-oriented programs interference

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

An operational semantics for object-oriented concepts based on the class hierarchy

Uses Software

• JML
• VeriCool

Cites Work

• Unnamed Item
• Unnamed Item
• An axiomatic proof technique for parallel programs
• An assertion-based proof system for multithreaded Java
• Modular verification of concurrent assembly code with dynamic thread creation and termination
• A Proof System for Communicating Sequential Processes
• Ten Years of Hoare's Logic: A Survey—Part I
• Formal Justification of a Proof System for Communicating Sequential Processes

This page was built for publication: A shared-variable concurrency analysis of multi-threaded object-oriented programs