publié le: June 2012
A large body of data-flow analyses exists for analyzing and optimizing sequential code. Unfortunately, much of it cannot be directly applied on paral...
We propose a small-step operational semantics to support reasoning about Web applications written in the multitier languageHOP. The semantics covers...
publié le: February 2009
This article advocates the revival of coroutines as a convenient general control abstraction. After proposing a new classification of coroutines, we...
publié le: 2007
Le congrès annuel de la Fédération internationale des associations de bibliothécaires et des bibliothèques (IFLA) s’est déroulé cette année en Afrique...
Organisée à Paris le 6 juillet 2007, une journée d’étude proposait aux adhérents de l’Association desprofessionnels de l’information et de la document...
