• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

Flow-Sensitive Type Qualifiers (2002)

Cached

  • Download as a PDF
  •  
  • Download as a PS

Download Links

  • [HTTP.CS.Berkeley.EDU]
  • [HTTP.CS.Berkeley.EDU]
  • [www.cs.berkeley.edu]
  • [www.cs.berkeley.edu]
  • [www.cs.cmu.edu]
  • [www-2.cs.cmu.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:322 - 29 self
  • Summary
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

Versions

  • Version 0
  • Version 1
  • Version 2
  • Version 3
  • Version 4
  • Version 5

Version History

Metadata Version 5

User correction supplied by mph

DatumValueSource
TITLE Flow-Sensitive Type Qualifiers user correction - Legacy Corrections
AUTHOR NAME Jeffrey S. Foster user correction
AUTHOR AFFIL Computer Science Division (EECS); University of California user correction
AUTHOR ADDR Berkeley, California 94720 user correction
AUTHOR NAME Tachio Terauchi user correction
AUTHOR AFFIL Computer Science Division (EECS); University of California user correction
AUTHOR ADDR Berkeley, California 94720 user correction
AUTHOR NAME Alex Aiken user correction
AUTHOR AFFIL Computer Science Division (EECS); University of California user correction
AUTHOR ADDR Berkeley, California 94720 user correction
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. user correction - Legacy Corrections
YEAR 2002 user correction - Legacy Corrections
CITATIONS 20 found ParsCit 1.0
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

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

© 2007-2010 The Pennsylvania State University