Martin Elsman, Jeffrey S. Foster, Alexander Aiken  Home/Search
Context Related
| berkeley.edu/Research/Aiken...doc.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: berkeley.edu/Research/Aiken/ca... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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