SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers
Authors:
Open Access
- 3 January 2007
- journal article
- research article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 166, 47-62
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- JunGL2006
- Understanding collateral evolution in Linux device drivers2006
- JQuery: A Generic Code Browser with a Declarative Configuration Language2005
- Back to the future2003
- An empirical study of operating systems errors2001
- Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions2000