• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations

DMCA

Enforcing High-Level Protocols in Low-Level Software (2001)

Cached

  • Download as a PDF

Download Links

  • [research.microsoft.com]
  • [www.eecs.umich.edu]
  • [www.cs.ucla.edu]
  • [research.microsoft.com]
  • [web.eecs.umich.edu]
  • [www.microsoft.com]
  • [www.cs.berkeley.edu]
  • [www.cs.berkeley.edu]

  • Other Repositories/Bibliography

  • DBLP
  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Robert DeLine , Manuel Fahndrich
Citations:381 - 9 self
  • Summary
  • Citations
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

@MISC{DeLine01enforcinghigh-level,
    author = {Robert DeLine and Manuel Fahndrich},
    title = {Enforcing High-Level Protocols in Low-Level Software},
    year = {2001}
}

Share

Facebook Twitter Reddit Bibsonomy

OpenURL

 

Abstract

The reliability of infrastructure software, such as operating systems and web servers, is often hampered by the mismanagement of resources, such as memory and network connections. The Vault programming language allows a programmer to describe resource management protocols that the compiler can statically enforce. Such a protocol can specify that operations must be performed in a certain order and that certain operations must be performed before accessing a given data object. Furthermore, Vault enforces statically that resources cannot be leaked. We validate the utility of our approach by enforcing protocols present in the interface between the Windows 2000 kernel and its device drivers.

Keyphrases

high-level protocol    low-level software    certain operation    operating system    infrastructure software    web server    resource management    certain order    network connection    vault programming language    device driver    data object   

Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University