Article in Proceedings INPROC-2011-54

BibliographyProkharau, Mikhail; Gerlach, Daniel; Keul, Steffen: Static Analysis of Predicate-based Synchronisation.
In: 13. Workshop Software-Reengineering (WSR 2011), Bad Honnef, 2.-4. Mai 2011, Softwaretechnik-Trends, Band 31, Heft 2.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology.
pp. 16-17, english.
Gesellschaft für Informatik e.V. (GI), May 2011.
ISSN: 0720-8928.
Article in Proceedings (Workshop Paper).
CR-SchemaD.1.3 (Concurrent Programming)
 D.4.1 (Process Management)
 F.3.2 (Semantics of Programming Languages)
Abstract

While many software projects requiring some form of parallelisation resort to standard synchronisation mechanisms offered by a programming language or a standard library of choice, other synchronisation techniques exist. This paper presents predicate-based synchronisation constructs and discusses the possibilities of their detection and static analysis.

Department(s)University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers
Project(s)Bauhaus
Entry dateJuly 11, 2011
   Publ. Institute   Publ. Computer Science