Dinesh, T. B., and Tip, F. Animators and error reporters for generated programming environments. Report CS-R9253, Centrum voor Wiskunde en Informatica (CWI), 1992.  Home/Search   Document Details and Download   Summary   Related Articles   Check

.... facility in the style of van Deursen, Klint, and Tip [4] Such an extension is discussed by van Deursen and Dinesh [3] Furthermore, equations converting the normal 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 deterministic character. No tree traversal is specified. As a consequence, the corresponding rewrite system not only works well on complete Pico programs but also ....

T.B. Dinesh and F. Tip, Animators and error reporters for generated programming environments, Report CS-R9253, CWI, Amsterdam, December 1992.

....terms and subterms of the initial term. Origin tracking is a method for incrementally computing origins during rewriting. We give a formal definition of origins, and present a method for implementing origin tracking. 6 Animators and Error Reporters for Generated Programming Environments [DT92] 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. ....

T.B. Dinesh and F. Tip. Animators and error reporters for generated programming environments. Report CS-R9253, Centrum voor Wiskunde en Informatica (CWI), Amsterdam, 1992. Available by ftp from ftp.cwi.nl:/pub/gipe as DT92.ps.Z.

....such as the lexical scanner [HKR92] and parser [HKR89] are based on this technique. The incremental generation of prettyprinters is still a research issue. We have used the generator for deriving prettyprinters for several languages for which an ASF SDF specification exists, such as PASCAL, CLaX [DT92] the box language itself, simplified LISP code, Action Semantics [Mos92] fSDL [WKD93] COBOL, C, and the definition part of the generated prettyprinters. The generator is compiled using the ASF2C compiler [KW93] to obtain a fast generator. The generated (and modified) prettyprinter can also be ....

T.B. Dinesh and F. Tip. Animators and error reporters for generated programming environments. Report CS-R9253, Centrum voor Wiskunde en Informatica (CWI), Amsterdam, 1992. Available by ftp from ftp.cwi.nl:/pub/gipe as DT92.ps.Z.

....effect of certain specification changes on the accuracy of the computed slices is discussed. Conclusions and possible directions for future work are stated in Section 6. 2 Related Work The work presented in this paper is closely related to earlier work by the same authors. The CLaX type checker [12] was developed in the context of the Compare (compiler generation for parallel machines) project, which was part of the European Union s ESPRIT II program. We originally used origin tracking [35] to associate source locations with type errors. Origin tracking is similar in spirit to dependence ....

....location of type errors in invalid programs. Adding such reporting information to a static semantics specification is a cumbersome and error prone task, because keeping track of positional information can be nontrivial, especially if multiple program fragments together constitute a type error. In [12], we introduced an abstract interpretation style for writing static semantics specifications. In a nutshell, this style advocates the following: ffl reducing program constructs to their type, ffl evaluating type expressions at an abstract level, and ffl only specifying the type correct cases. ....

[Article contains additional citation context not shown here]

Dinesh, T. B., and Tip, F. Animators and error reporters for generated programming environments. Report CS-R9253, Centrum voor Wiskunde en Informatica (CWI), 1992.

....the error message. The CLaX language was originally developed as the demonstration language of the ESPRIT II Compare (Compiler Generation for Parallel Machines) project [1] Since then, CLaX has been used as a basis for various software tools, including type checkers, interpreters, and debuggers [10, 8, 9, 23, 21], as well as a test bed for origin tracking techniques [7, 5, 14] Several experiments with the ClaX specification revealed that the accuracy of the computed slices depends on a number of specification factors. In particular, we found that decreasing the amount of determinism in the specification ....

....affected the computed slices. Finally, in Section 7, we present conclusions and plans for future work. 2 Historical Perspective The present paper is closely related to earlier work by the same authors. In this section, we give a brief overview of the history of this work. The CLaX language [10] was originally developed as the demonstration language of the COMPARE (compiler generation for parallel machines) project [1] which was part of the European Union s ESPRIT II program. Part of CWI s contribution to COMPARE consisted of an algebraic specification of the CLaX language, and the ....

[Article contains additional citation context not shown here]

DINESH, T. B., AND TIP, F. Animators and error reporters for generated programming environments. Report CS-R9253, Centrum voor Wiskunde en Informatica (CWI), 1992.

....by a separate module which issues human readable error messages. For instance, by applying readable msg to the result of tc : readable msg(tc(Program) For the structured error above, all or some of the 4 error indications can be used to generate human readable error messages (for details see [7]) The equations below rewrite the above message to error indication 4. E1] readable msg(Exp : Exp 0 ) msg(Exp : simplify(Exp 0 ) E2] msg(Exp : Type) cannot assign( Type to Exp [E3] msg(Exp : Exp 1 Op Exp 2 ) msg(Exp 1 Op Exp 2 ) E4] msg(Exp 1 Gamma string) right ....

....yield origin relations from intermediate terms to initial term. For a detailed description of origin tracking and its applications, the reader is referred to [5] Figure 2 shows the use of origin tracking in the ASF SDF system [13] to find the location of erroneous constructs in a CLaX program [7]. Here, function errors is applied to a CLaX program in the large window. The resulting type errors are displayed in the small window. These error messages, albeit useful, provide no information regarding the specific constructs of the program that caused it or the position where it originated. ....

[Article contains additional citation context not shown here]

T.B. Dinesh and F. Tip. Animators and error reporters for generated programming environments. Report CS-R9253, Centrum voor Wiskunde en Informatica (CWI), Amsterdam, 1992. Available by ftp from ftp.cwi.nl:/pub/gipe as DT92.ps.Z.

....Second, the subjects of the events, i.e. the language constructs involved, are determined. Events are defined by way of a patternmatching mechanism. Origin 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 extended to the generation of source level debuggers and algorithmic debuggers from specifications of interpreters. It is shown how, for CLaX, several debugger ....

....itself and its sub constructs. We are currently investigating a more appealing solution to this problem, which consists of an extension of the origin function. This would enable us to determine useful subjects in cases such as the one described above. Some ideas in this direction are discussed in [10, 8]. 8 Generation of Source level Debuggers As an extension of the generation of animators, we are currently investigating the generation of source level debuggers from specifications of interpreters. Basic debugger features such as single stepping, breakpoints, state inspection, and providing ....

Dinesh, T.B., Tip, F.: Animators and error reporters for generated programming environments. Report CS-R9253, Centrum voor Wiskunde en Informatica (CWI), 1992.

....others; more research is needed to find out which solution meets our needs best. 6.3 Future Work Directions in which the current results can be extended or applied are: Generic debugging techniques and animation. Although we have promising experience with the use of origin tracking for animation [DT92], more work is needed to generate language specific debuggers that are smoothly integrated in the ASF SDF Meta environment. We intend to develop generic methods to specify the desired behavior and features of animators and debuggers. Error reporting. Further work is needed to determine whether ....

....Further work is needed to determine whether and how our current notion of origins has to be extended for the benefit of error reports containing precise error locations. In addition to origin tracking, a way is needed to compose an error message. A first result in this direction is discussed in [DT92]. Translation, Code Optimization. We intend to study if an extended notion of origins can be used for the automatic construction of bi directional mappings between source programs and generated code. This is useful for code level debugging, where links are required between assembly instructions ....

T.B. Dinesh and F. Tip. Animators and error reporters for generated programming environments. Report CS-R9253, Centrum voor Wiskunde en Informatica (CWI), Amsterdam, 1992.

....program slicing, dynamic slicing, interpreters, programming environments, origin tracking, dynamic dependence tracking. 1 Introduction Algebraic specifications [4] have been used successfully for the generation of a variety of software development tools, such as typecheckers [8] interpreters [11], and program analysis tools [12, 13, 23] In the present paper it is shown how two previously developed language independent techniques, origin tracking [10] and dynamic dependence tracking [14] can be used to derive powerful language specific debugging tools from algebraic specifications of ....

....Meta environment [17] a programming environment generator. In particular, origin tracking, dynamic dependence tracking, and the matching of language specific patterns have been implemented successfully. Fig. 10 shows a snapshots of a language specific single stepping tool for the language ClaX [11, 21], a substantial subset of Pascal that features procedures with nested scopes, unstructured control flow, and multi dimensional arrays. This tool has been implemented according to the techniques of Sec. 4.1. Fig. 11 shows a screen dump of a dynamic slicing tool for the language ClaX, that was ....

Dinesh, T., and Tip, F. Animators and error reporters for generated programming environments. Report CS-R9253, Centrum voor Wiskunde en Informatica (CWI), Amsterdam, 1992.

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