SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers.

Yoann Padioleau Julia Lawall Gilles Muller

Published in: EVOL (2006)

Keyphrases

operating system
car navigation
database applications
data acquisition
open source
file system
portable devices
artificial intelligence
social networks
information systems
traffic accidents
force feedback
linux kernel