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

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

DMCA

Flow-Sensitive Type Qualifiers (2002)

Cached

  • Download as a PDF

Download Links

  • [HTTP.CS.Berkeley.EDU]
  • [HTTP.CS.Berkeley.EDU]
  • [www.cs.umd.edu]
  • [www.cs.berkeley.edu]
  • [theory.stanford.edu]
  • [theory.stanford.edu]
  • [www.cs.berkeley.edu]
  • [www.cs.cmu.edu]
  • [www-2.cs.cmu.edu]
  • [theory.stanford.edu]
  • [theory.stanford.edu]

  • Other Repositories/Bibliography

  • DBLP
  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Jeffrey S. Foster , Tachio Terauchi , Alex Aiken
Citations:409 - 28 self
  • Summary
  • Citations
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

@MISC{Foster02flow-sensitivetype,
    author = {Jeffrey S. Foster and Tachio Terauchi and Alex Aiken},
    title = {Flow-Sensitive Type Qualifiers},
    year = {2002}
}

Share

Facebook Twitter Reddit Bibsonomy

OpenURL

 

Abstract

We present a system for extending standard type systems with flow-sensitive type qualifiers. Users annotate their programs with type qualifiers, and inference checks that the annotations are correct. In our system only the type qualifiers are modeled flow-sensitively - the underlying standard types are unchanged, which allows us to obtain an efficient constraint-based inference algorithm that integrates flow-insensitive alias analysis, effect inference, and ideas from linear type systems to support strong updates. We demonstrate the usefulness of flow-sensitive type qualifiers by finding a number of new locking bugs in the Linux kernel.

Keyphrases

flow-sensitive type qualifier    type qualifier    underlying standard type    flow-insensitive alias analysis    linear type system    standard type system    strong update    inference check    linux kernel    efficient constraint-based inference algorithm    effect inference   

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