See this document in CiteSeerX!

Eliminating Spurious Error Messages Using Exceptions, Polymorphism, and Higher-Order Functions  (Make Corrections)  
Norman Ramsey
The Computer Journal



  Home/Search   Context   Related

 
View or download:
harvard.edu/~nr/pubs/error.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  harvard.edu/~nr/...errorabstract (more)
(Enter author homepages)

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

Abstract: This paper presents a discipline for tracking unavailable values and avoiding cascading (Update)

Similar documents (at the sentence level):
24.3%:   Eliminating Spurious Error Messages Using Exceptions.. - Ramsey (1997)   (Correct)

Active bibliography (related documents):   More   All
0.4:   Comparison of Syntactic Error Handling in LR Parsers - Degano, Priami (1995)   (Correct)
0.4:   Generating Efficient Substring Parsers for BRC Grammars - Ruckert (1998)   (Correct)
0.2:   Regional Least-Cost Error Repair - Vilares Darriba And (2001)   (Correct)

Similar documents based on text:   More   All
0.2:   A Set Constructor for Inductive Sets in Martin-Lof's Type.. - Kent Petersson Dan (1989)   (Correct)
0.1:   When Do Match-Compilation Heuristics Matter? - Scott, Ramsey (2000)   (Correct)
0.1:   Monadic Parser Combinators - Hutton, Meijer (1996)   (Correct)

BibTeX entry:   (Update)

@article{ ramsey99eliminating,
    author = "Norman Ramsey",
    title = "Eliminating Spurious Error Messages Using Exceptions, Polymorphism, and Higher-Order Functions",
    journal = "The Computer Journal",
    volume = "42",
    number = "5",
    pages = "360--372",
    year = "1999",
    url = "citeseer.ist.psu.edu/245308.html" }
Citations (may not include all citations):
384   The Definition of Standard ML (context) - Milner, Tofte et al. - 1997
369   Information and Computation (context) - Moggi, computation - 1991
293   The essence of functional programming - Wadler - 1992
178   Making the future safe for the past: Adding genericity to th.. - Bracha, Odersky et al. - 1998
94   Mathematical Structures in Computer Science (context) - Wadler - 1992
79   Elements of ML Programming (context) - Ullman - 1997
54   Building interpreters by composing monads - Jr - 1994
32   Literate programming simplified (context) - Ramsey - 1994
30   Explaining type errors in polymorphic languages - Beaven, Stansifer - 1993
30   Science of Computer Programming (context) - Duggan, Bent et al. - 1996
26   Science of Computer Programming (context) - Spivey, theory et al. - 1990
17   ACM Transactions on Programming Languages and Systems (context) - Ramsey, Fern'andez et al. - 1997
15   Fischer and Richard J (context) - Charles - 1988
11   Machine descriptions to build tools for embedded systems - Ramsey, Davidson - 1998
10   Computer Science Department (context) - Bernstein, Stark et al. - 1995
8   A practical method for LR and LL syntactic error diagnosis a.. (context) - Burke, Fisher - 1987
5   Error repair in shift-reduce parsers - McKenzie, Yeatman et al. - 1995
3   Error recovery and correction --- an introduction to the lit.. (context) - Gries - 1976
3   What the compiler should tell the user (context) - Horning - 1976
2   Error recovery with attribute grammars (context) - Boccalatte, Di Manzo et al. - 1982
2   Top-down semantic analysis (context) - Adorni, Boccalatte et al. - 1984
2   A specification language for one-pass semantic analysis (context) - Koskimies - 1984
2   Semantic errors -- diagnosis and repair (context) - Johnson, Runciman - 1982

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