On Designing a Target-Independent DSL for Safe OS Process-Scheduling Components.

Julia L. Lawall, Anne-Franoise Le Meur, Gilles Muller

Browse the full GPCE paper archive.