A. van Deursen, T.B. Dinesh  Home/Search
Context
Related
| cwi.nl/ftp/CWIreports/A...CSR9425.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/cwi/publications...CS1994 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Origin Tracking is a technique which, in the framework of first-order term rewriting systems, establishes relations between each subterm t of a normal form and a set of subterms, the origins of t, in the initial term. Origin tracking is based on the notion of residuals. It has been used successfully for the generation of error handlers and debuggers from algebraic specifications of programming languages. Recent experiments with the use of higher-order algebraic specifications for the definition ... (Update)
Similar documents (at the sentence level):
46.3%: Origin Tracking for Higher-Order Term Rewriting Systems - van Deursen, Dinesh (1993) (Correct)
Active bibliography (related documents): More All
1.0: A Slicing-Based Approach for Locating Type Errors - Dinesh, Tip (1998) (Correct)
0.9: Origin Tracking in Primitive Recursive Schemes - van Deursen (1993) (Correct)
0.5: Data Flow Analysis for Reverse Engineering - University Of Amsterdam (Correct)
Similar documents based on text: More All
0.2: Sound And Complete Translations From Sorted Higher-Order Logic.. - Kerber (1994) (Correct)
0.2: Origin Tracking - van Deursen, Klint, Tip (1992) (Correct)
0.1: Constraints to Stop Higher-Order Deforestation - Seidl, Sørensen (1997) (Correct)
BibTeX entry: (Update)
@incollection{ vandeursen94origin,
author = "Arie van Deursen and T. B. Dinesh",
title = "Origin Tracking for Higher-Order Term Rewriting Systems.",
booktitle = "121",
month = "30",
publisher = "Centrum voor Wiskunde en Informatica (CWI)",
address = "ISSN 0169-118X",
pages = "21",
year = "1994",
url = "citeseer.ist.psu.edu/443850.html" }
Citations (may not include all citations):474 Term rewriting systems - Klop
419 A formulation of a Simple Theory of Types (context) - Church - 1940
233 Natural semantics (context) - Kahn - 1987
191 A meta-environment for generating programming environments (context) - Klint - 1993
127 Centaur: the system - Borras, Cl'ement et al. - 1989
126 Higher-order critical pairs (context) - Nipkow
119 Algebraic Specification (context) - Bergstra, Heering et al. - 1989
92 Explicit substitutions - Abadi, Cardelli et al. - 1990
45 Typol: a formalism to implement natural semantics (context) - Despeyroux - 1988
34 Optimal derivations in weak lambda-calculi and in orthogonal.. - Maranget - 1991
19 volume 21 of Cambridge Tracts in Theoretical Computer Scienc.. (context) - Wolfram, Theory - 1993
12 Dynamic dependence in term rewriting systems and its applica.. (context) - Field, Tip - 1994
10 Confluence for Abstract and Higher-Order Rewriting (context) - van Oostrom - 1994
8 Une Automatisation du Calcul des R'esidus en S'emantique Nat.. (context) - Bertot - 1991
7 An algebraic interpretation of the fiK-calculus and a la- 21.. (context) - L'evy - 1975
6 volume 103 of Studies in Logic and the Foundations of Mathat.. (context) - Barendregt, Calculus et al. - 1984
6 Comparing combinatory reduction systems and higher-order rew.. - van Oostrom, van Raamsdonk - 1994
5 Computations in orthogonal rewriting systems part I and II (context) - Huet, L'evy - 1991
5 Animators for generated programming environments - Tip - 1993
4 Origin functions in lambda-calculus and term rewriting syste.. (context) - Bertot - 1992
4 Type checking revisited: Modular error handling - Dinesh - 1993
2 Special Issue on Automatic Programming (context) - van Deursen, Klint et al. - 1993
2 Incremental Reduction in the Lambda Calculus and Related Red.. (context) - Field - 1991
2 Origin tracking in primitive recursive schemes - van Deursen - 1993
2 Number 127 in Mathematical Center Tracts (context) - Klop, Systems - 1980
1 Oxford University Press (context) - Computational, pages - 1992
Documents on the same site (http://ftp.cwi.nl/cwi/publications/reports/CS-1994.html): More
A Logic for Variable Aliasing in Logic Programs - Marchiori (1994) (Correct)
Uniform Deterministic Self-Stabilizing Ring-Orientation on.. - Hoepman (1994) (Correct)
Proof-Checking a Data Link Protocol - Helmink, Sellink, Vaandrager (1994) (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