T.B. Dinesh, F. Tip  Home/Search
Context Related
| cwi.nl/ftp/gipe/reports/DT92.ps.Z cwi.nl/ftp/CWIreports/A...CSR9253.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/ftp/gipe/reports...reports (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We study animators and error reporters for generated programming environments. An error reporter is a tool for indicating the exact position of a type-error in the source text. An animator visualizes program execution; typically, it highlights the statement that is currently executing. Applications of both tools are mainly to be found in the areas of debugging and tutoring. Instead of explicitly extending language specifications with these facilities, we claim that error reporters and animators ... (Update)
Context of citations to this paper: More
...tracking [9] is used for determining the subjects. We illustrate our techniques using an example language named CLaX, a Pascal relative. In [10], the specification of a programming environment for this language is described in detail. Finally, we study how our approach can be...
.... form into a set of user friendly diagnostic messages can be added to the specification in a straightforward way see Dinesh and Tip [6] and Dinesh [5] 7 The appropriate use of list variables in conjunction with second order variables lends Pico typecheck a highly non...
Cited by: More
A Slicing-Based Approach for Locating Type Errors - Dinesh, Tip (1998) (Correct)
A Case Study of a Slicing-Based Approach for Locating Type Errors - Dinesh, Tip (1997) (Correct)
Type-checking Revisited: Modular Error-handling - Dinesh (1993) (Correct)
Active bibliography (related documents): More All
0.6: Origin Tracking - van Deursen, Klint, Tip (1993) (Correct)
0.5: Generic Techniques for Source-Level Debugging and Dynamic Program.. - Tip (1994) (Correct)
0.4: Animators for Generated Programming Environments - Tip (1993) (Correct)
Similar documents based on text: More All
0.2: Animation 2000++ - Badler (2000) (Correct)
0.2: Origin Tracking for Higher-Order Term Rewriting Systems - van Deursen, Dinesh (Correct)
0.2: DYNALAB: A Dynamic Computer Science Laboratory.. - Birch, Boroni.. (1995) (Correct)
Related documents from co-citation: More All
8: A meta-environment for generating programming environments (context) - Klint - 1993
8: Algebraic specification (context) - Bergstra, Heering et al. - 1989
6: The syntax definition formalism SDF - reference manual - Heering, Hendriks et al. - 1989
BibTeX entry: (Update)
Dinesh, T., and Tip, F. Animators and error reporters for generated programming environments. Report CS-R9253, Centrum voor Wiskunde en Informatica (CWI), Amsterdam, 1992. http://citeseer.ist.psu.edu/dinesh92animators.html More
@incollection{ dinesh92animators,
author = "T. B. Dinesh and Frank Tip",
title = "Animators and error reporters for generated programming environments",
booktitle = "348",
month = "31",
publisher = "Centrum voor Wiskunde en Informatica (CWI)",
address = "ISSN 0169-118X",
pages = "98",
year = "1992",
url = "citeseer.ist.psu.edu/dinesh92animators.html" }
Citations (may not include all citations):866 Techniques and Tools (context) - Aho, Sethi et al. - 1986
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
119 Algebraic Specification (context) - Bergstra, Heering et al. - 1989
105 The syntax definition formalism SDF - reference manual - Heering, Hendriks et al. - 1989
47 The PSG system: from formal language definitions to interact.. (context) - Bahlke, Snelting - 1986
45 Typol: a formalism to implement natural semantics (context) - Despeyroux - 1988
36 Compiler Construction - Goos, Waite - 1984
26 Centrum voor Wiskunde en Informatica (context) - van Deursen, Klint et al. - 1992
24 Implementation of Modular Algebraic Specifications (context) - Hendriks - 1991
21 GSE: A generic text and structure editor - Koorn - 1992
10 Generating Program Animators from Programming Language Seman.. (context) - Berry - 1991
9 Occurrences in debugger specifications - Bertot - 1991
8 Une Automatisation du Calcul des R'esidus en S'emantique Nat.. (context) - Bertot - 1991
7 An algebraic specification for the static semantics of Pasca.. - van Deursen - 1991
7 A generator for language-specific debugging systems (context) - Bahlke, Moritz et al. - 1987
6 A generator for incremental programming environments (context) - van den Brand - 1992
5 Second-order algebraic specification of static semantics - Heering - 1992
3 Description of the cosy-prototype (context) - Consortium - 1991
1 Le-Lisp Reference Manual (context) - Rocquencourt - 1990
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cwi.nl/ftp/gipe/reports/reports.html): More
A Survey of Program Slicing Techniques - Tip (1995) (Correct)
The Syntax Definition Formalism SDF - Reference Manual - - Heering, Hendriks, Klint.. (1992) (Correct)
Object-Oriented Programming: Inheritance To Adoption - Dinesh (1992) (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