Artikel in Tagungsband INPROC-2011-54

Bibliograph.
Daten		Prokharau, 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.
Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik.
S. 16-17, englisch.
Gesellschaft für Informatik e.V. (GI), Mai 2011.
ISSN: 0720-8928.
Artikel in Tagungsband (Workshop-Beitrag).
CR-Klassif.D.1.3 (Concurrent Programming)
 D.4.1 (Process Management)
 F.3.2 (Semantics of Programming Languages)
Kurzfassung

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.

Abteilung(en)Universität Stuttgart, Institut für Softwaretechnologie, Programmiersprachen und Übersetzerbau
Projekt(e)Bauhaus
Eingabedatum11. Juli 2011
   Publ. Institut   Publ. Informatik