Ein Softwaresystem effizient auf Multicore-Prozessoren zu portieren stellt für Entwickler eine große Herausforderung dar. Die Leistungsfähigkeit der modernen Mehrkernprozessoren kann sich nur dann entfalten, wenn bei der Parallelisierung die Semantik und die Datenabhängigkeiten im Kontrollfluss genauestens berücksichtigt werden. Die notwendigen