See this document in CiteSeerX!

Carillon a System to Find Y2K Problems in C Programs (1999)  (Make Corrections)  (4 citations)
Martin Elsman, Jeffrey S. Foster, Alexander Aiken



  Home/Search   Context   Related

 
View or download:
berkeley.edu/Research/Aiken...doc.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  berkeley.edu/Research/Aiken/ca... (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Carillon is a simple, fast, and effective type-based system for finding Y2K errors in C programs. Carillon extends the standard C type system with a user-defined set of date-related type qualifiers. The user annotates date-related functions with the appropriate qualifiers, and Carillon checks the program for Y2K errors. Carillon displays the results of the Y2K analysis in an interactive Emacs buffer. Program variables are colored according to the kind of Y2K information they may contain, and... (Update)

Cited by:   More
Finding User/Kernel Pointer Bugs With Type Inference - Rob Johnson David (2004)   (Correct)
Rob Johnson David Wagner - Report No Ucb   (Correct)

Active bibliography (related documents):   More   All
0.4:   Non-linear Quantification Scheduling - In Image Computation   (Correct)
0.0:   Specifying and Checking Java using CSP - Möller   (Correct)

Similar documents based on text:   More   All
0.9:   Flow-Sensitive Type Qualifiers - Foster, Terauchi, Aiken (2002)   (Correct)
0.2:   A Theory of Type Qualifiers - Foster, Fähndrich, Aiken (1999)   (Correct)
0.2:   An introduction to Archive Materials AN - Ia Ls An   (Correct)

Related documents from co-citation:   More   All
4:   Managing kernel development (context) - Torvalds - 2003
4:   and Gregoire Sutre (context) - Henzinger, Jhala et al. - 2002
4:   ACM Transactions on Programming Languages and Systems (context) - Foster, programming - 1996

BibTeX entry:   (Update)

Martin Elsman, Jeffrey S. Foster, and Alexander Aiken. Carillon---A System to Find Y2K Problems in C Programs, 1999. http://bane.cs. berkeley.edu/carillon. http://citeseer.ist.psu.edu/elsman99carillon.html   More

@misc{ elsman-carillon,
  author = "Martin Elsman and Jeffrey S. Foster and Alexander Aiken",
  title = "Carillon --- a System to Find {Y2K} Problems in {C} Programs",
  url = "citeseer.ist.psu.edu/elsman99carillon.html" }
Citations (may not include all citations):
23   Foundations of Software Engineering (context) - Software, December - 1994

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC