T.B. Dinesh, Frank Tip  Home/Search
Context Related
| cwi.nl/ftp/CWIreports/...SENR9824.ps.Z 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: cwi.nl/static/publicat...SEN1998 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The effectiveness of a type checking tool strongly depends on the accuracy of the positional information that is associated with type errors. We present an approach where the location associated with an error message e is defined as a slice Pe of the program P being type checked. We show that this approach yields highly accurate positional information: Pe is a program that contains precisely those program constructs in P that caused error e. Semantically, we have the interesting property that... (Update)
Context of citations to this paper: More
...explaining the inference that lead to the error. We classify systems using this approach as error reporting systems, e.g. [5, 14, 26, 32, 59]. A third approach is to provide a mechanism for the programmer to probe the type of subexpressions [5] To compare those...
Cited by: More
From Symptom to Cause: Localizing Errors in Counterexample.. - Ball, Naik, Rajamani (2003) (Correct)
Type Error Slicing in Implicitly Typed Higher-Order Languages - Haack, Wells (2004) (Correct)
Improving Polymorphic Type Explanations - Yang (2001) (Correct)
Similar documents (at the sentence level):
18.0%: A Case Study of a Slicing-Based Approach for Locating Type Errors - Dinesh, Tip (1997) (Correct)
Active bibliography (related documents): More All
1.0: Origin Tracking for Higher-Order Term Rewriting Systems - van Deursen, Dinesh (Correct)
0.5: Animators and Error Reporters for Generated Programming.. - Dinesh, Tip (1992) (Correct)
0.5: Generic Techniques for Source-Level Debugging and Dynamic Program.. - Tip (1994) (Correct)
Similar documents based on text: More All
0.3: Uniform Convergence of Curve Estimators for Ergodic Diffusion.. - van Zanten (2000) (Correct)
0.3: Towards a Complete Transformational Toolkit for Compilers - Bergstra, Dinesh, Field.. (1996) (Correct)
0.3: An Extensible Language for the Generation of Parallel.. - Walters, Kamperman.. (1994) (Correct)
Related documents from co-citation: More All
8: Finding the source of type errors (context) - Wand - 1986
7: Explaining type errors in polymorphic languages - Beaven, Stansifer - 1994
6: Debugging type errors - Bernstein, Stark - 1995
BibTeX entry: (Update)
DINESH, T. B., AND TIP, F. A slicing-based approach for locating type errors. In Proceedings of the USENIX Conference on Domain-Specific Languages (DSL'97) (Santa Barbara, CA, October 1997), pp. 77--88. http://citeseer.ist.psu.edu/dinesh98slicingbased.html More
@incollection{ dinesh98slicingbased,
author = "T. B. Dinesh and Frank Tip",
title = "A slicing-based approach for locating type errors",
booktitle = "264",
month = "31",
publisher = "Centrum voor Wiskunde en Informatica (CWI)",
address = "ISSN 1386-369X",
pages = "24",
year = "1998",
url = "citeseer.ist.psu.edu/dinesh98slicingbased.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
474 Term rewriting systems - Klop - 1992 ACM
318 IEEE Transactions on Software Engineering (context) - Weiser - 1984
259 A survey of program slicing techniques - Tip - 1995
191 A meta-environment for generating programming environments (context) - Klint - 1993 ACM DBLP
119 Algebraic Specification (context) - Bergstra, Heering et al. - 1989 ACM DBLP
107 Object-Oriented Type Systems (context) - Palsberg, Schwartzbach - 1993
105 The syntax definition formalism SDF --- Reference manual - Heering, Hendriks et al. - 1989
71 Conditional rewrite rules: confluence and termination (context) - Bergstra, Klop - 1986 ACM DBLP
57 and practical investigations of an automatic program abstrac.. (context) - Weiser - 1979
50 A simple applicative language: Mini-ml (context) - Cl'ement, Despeyroux et al. - 1986 ACM DBLP
45 Finding the source of type errors (context) - Wand - 1986 ACM DBLP
41 Catching bugs in the web of program invariants - Flanagan, Flatt et al. - 1996 ACM
39 Parametric program slicing (context) - Field, Ramalingam et al. - 1995 ACM DBLP
31 Language Prototyping---An Algebraic Specification Approach (context) - van Deursen, Heering et al. - 1996
27 A simple rewriting semantics for realistic imperative progra.. (context) - Field - 1992 DBLP
24 Cosy compiler phase embedding with the cosy compiler model - Alt, Assmann et al. - 1994 ACM DBLP
13 A slicing-based approach for locating type errors - Dinesh, Tip - 1997 ACM DBLP
12 Dynamic dependence in term rewriting systems and its applica.. (context) - Field, Tip - 1998 ACM DBLP
12 Compilation of Term Rewriting Systems - Kamperman - 1996
12 Dynamic dependence in term rewriting systems and its applica.. (context) - Field, Tip - 1994 ACM DBLP
10 Computer Science Department (context) - Bernstein, Stark - 1995
10 Journal of Symbolic Computation (context) - van Deursen, Klint et al. - 1993
9 Occurrences in debugger specifications - Bertot - 1991 ACM
9 Animators and error reporters for generated programming envi.. - Dinesh, Tip - 1992 ACM
8 Une Automatisation du Calcul des R'esidus en S'emantique Nat.. (context) - Bertot - 1991
7 Generic techniques for source-level debugging and dynamic pr.. - Tip - 1995 ACM DBLP
6 Executable Language Definitions---Case Studies and Origin Tr.. (context) - van Deursen - 1994
6 Toward a complete transformational toolkit for compilers - Bergstra, Dinesh et al. - 1997 ACM DBLP
4 Origin functions in lambda-calculus and term rewriting syste.. (context) - Bertot - 1992 ACM DBLP
3 Description of the cosy-prototype (context) - Consortium - 1991
2 Typechecking with modular error handling (context) - Dinesh - 1996
2 Second-order term rewriting specification of static semantic.. (context) - Heering - 1996
2 Origin tracking in primitive recursive schemes - van Deursen - 1994
1 Tracing the origins of verification conditions - Fraer - 1996 ACM DBLP
1 A case-study of a slicing-based approach for locating type e.. - Dinesh, Tip - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cwi.nl/static/publications/reports/SEN-1998.html): More
Waitfree distributed memory management by Create, and Read.. - Hesselink, Groote (1998) (Correct)
The Effects of Pair-wise and Higher Order Correlations .. - Bohte, Spekreijse.. (1998) (Correct)
A Complete Axiomatisation of Branching Bisimulation for.. - Groote, Luttik (1998) (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