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. Abteilung   Publ. Institut   Publ. Informatik