VIPP - Verification of Imperative Parallel Programs

Members

• Frédéric Loulergue (Université d'Orléans)
• Julien Tesson (Université d'Orléans)

Publications

• J. Tesson and F. Loulergue. ​Formal Semantics for the DRMA Programming Style Subset of the BSPlib Library. In J. Weglarz, R. Wyrzykowski, and B. Szymanski, editors, Seventh International Conference on Parallel Processing and Applied Mathematics (PPAM 2007), Workshop on Language-Based Parallel Programming Models, number 4967 in LNCS, pages 1122-1129. Springer, 2008
• J. Tesson. Sémantique formelle de la bibliothèque BSPlib. Master's thesis, mémoire de Master, Université d'Orléans, LIFO, 2007

Status

The project is currently inactive.