scientific article; zbMATH DE number 2089382

MaRDI QIDQ3046729zbMATH OpenFDO

Authors David Hovemeyer, William Pugh, Jaime Spacco

Publication date 12 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2374/23740133.htm

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computing methodologies and applications (68U99)

Recommendations

• Efficient and practical constructions of LL/SC variables
• Exceptions and side-effects in atomic blocks
• AtomCaml: first-class atomicity via rollback
• A criterion for atomicity
• The Java memory model

Cited in

(3)

• Comprehensive synchronization elimination for Java.
• Exceptions and side-effects in atomic blocks
• scientific article; zbMATH DE number 1875363 (Why is no real title available?)

This page was built for publication:

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