FORSCHUNGSZENTRUM JÜLICH GmbH Zentralinstitut für Angewandte Mathematik D-52425 Jülich, Tel. (02461) 61-6402 Interner Bericht Formalizing OpenMP Performance Properties with ASL Thomas Fahringer*, Michael Gerndt, Graham Riley**, Jesper Larsson Träff*** FZJ-ZAM-IB-9920 Dezember 1999 (letzte Änderung: 15.12.99) (*) Institute for Software Technology and Parallel Systems University of Vienna (**) Department of Computer Science University of Manchester (***) C&C Research Laboratories NEC Europe Ltd.