Jun Yang  Home/Search
Context Related
| cee.hw.ac.uk/~ceejy1/Publicat...SFP.pdf 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: cee.hw.ac.uk/~ceejy1/...abstracts (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Typically a type error is reported when unification fails, even though the programmer 's actual error may have occurred much earlier in the program. The and inference algorithms report the site where a type conflict is detected, but the error message is isolated information: it is not clear what the relationship is between the site where error is reported and the context in which the subexpression was typed. As a result, the error message may give little help to locate the source of the... (Update)
Context of citations to this paper: More
...required for these analyses is captured in the type graph. McAdam [McA00] describes a di#erent graph to store the information. Yang [Jun00] claims that conflicting sites should be reported rather than a single location. To incorporate this approach for a type graph only...
.... to capture information about types in a graph [11] This approach is a generalisation of several other techniques [4, 14, 6] Jun [8] gives an inference algorithm that reports conflicting sites rather than the site where a conflict is detected. Only little knowledge about...
Cited by: More
Type Error Slicing in Implicitly Typed Higher-Order Languages - Haack, Wells (2004) (Correct)
Explaining Polymorphic Types - Jun, Michaelson, Trinder (2002) (Correct)
Improving Type-Error Messages in Functional Languages - Heeren, Jeuring.. (2002) (Correct)
Similar documents (at the sentence level): More
20.2%: Explaining Type Errors by Finding the Sources of Type Conflicts - Yang (1999) (Correct)
13.1%: Improving Polymorphic Type Explanations - Yang (2001) (Correct)
11.1%: Improved Type Error Reporting - Yang, Michaelson, Trinder, Wells (2000) (Correct)
Active bibliography (related documents): More All
0.5: Compositional Explanation of Types and Algorithmic Debugging of.. - Chitil (2001) (Correct)
0.5: Repairing Type Errors in Functional Programs - McAdam (2001) (Correct)
0.3: Graphs for Recording Type Information - Bruce Mcadam Laboratory (Correct)
Similar documents based on text: More All
0.3: Type Debugging in Functional Languages - McKenzie, Wyber (Correct)
0.1: Strategies for Expression Evaluation Using Sort-Merge Algorithms - Larsen (1992) (Correct)
0.0: Breadth-First Parsing - Ophel (Correct)
Related documents from co-citation: More All
10: Explaining type errors in polymorphic languages - Beaven, Stansifer - 1994
10: Finding the source of type errors (context) - Wand - 1986
9: the unification of substitutions in type-inference - McAdam - 1998
BibTeX entry: (Update)
Yang, J. Explaining type errors by finding the source of a type conflict. In G. Michaelson, P. Trinder and H-W. Loidl, editors, Trends in Functional Programming, pages 58--66, Intellect, 2000. http://citeseer.ist.psu.edu/yang00explaining.html More
@misc{ yang00explaining,
author = "J. Yang",
title = "Explaining type errors by finding the source of a type conflict",
text = "Yang, J. Explaining type errors by finding the source of a type conflict.
In G. Michaelson, P. Trinder and H-W. Loidl, editors, Trends in Functional
Programming, pages 58--66, Intellect, 2000.",
year = "2000",
url = "citeseer.ist.psu.edu/yang00explaining.html" }
Citations (may not include all citations):59 Smartest recompilation - Shao, Appel
45 Finding the source of type errors (context) - Wand - 1986
30 Explaining type errors in polymorphic languages - Beaven, Stansifer - 1993
30 Science of Computer Programming (context) - Duggan, Bent et al. - 1996
27 Proofs about a Folklore Let-polymorphic Type Inference Algor.. - Lee, Yi - 1998
22 A maximum flow approach to anomaly isolation in unification-.. (context) - Walz, Johnson - 1986
17 the Unification of Substitutions in Type Inference - McAdam - 1998
15 Debugging type errors - Bernstein, Stark - 1995
15 An explanation based polymorphic type-checker for standard m.. (context) - Soosaipillai - 1990
6 A visualisation of polymorphic type checking - Yang, Michaelson
4 Institut National de Recherche en Informatique et en Automat.. (context) - Rideau, Thery et al. - 1997
3 Chalmers University of Technology (context) - Agat, Gustavsson - 1999
2 Explaining polymorphic types through visualisation (context) - Yang, Michaelson et al.
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cee.hw.ac.uk/~ceejy1/Html/abstracts.html):
Improving Polymorphic Type Error Reporting - Yang, Michaelson, Trinder, Wells (2000) (Correct)
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