H ?
«
‹
←
→
›
»
Language peer sets for Vault:
Vault(ID:8202/)
alternate simple view
References:
De Line, R. (2001) De Line, R. and M. Faehndrich. Enforcing high-level protocols in low-level software. In Proceedings of the ACM Conference on Programming Language Design and Implementation (PLDI), pages 59-69, Snowbird, Utah, June 2001.
Conway, Christopher L. and Edwards, Stephen A. (2004) Conway, Christopher L. and Edwards, Stephen A. "NDL: A Domain-Specific Language for Device Drivers" LCTES?04, June 11?13, 2004, Washington, DC, USA.
Extract:
Introduction
Extract:
Related Work
Extract:
NDL
Extract:
Vault
Search in:
Google
Google scholar
World Cat
Yahoo
Overture
DBLP
Monash bib
NZ
IEEE 
ACM portal
CiteSeer
CSB
ncstrl
jstor
Bookfinder
|