Algebraic specification
A meta-environment for generating programming environments
ACM Transactions on Software Engineering and Methodology (TOSEM)
Journal of Symbolic Computation - Special issue on automatic programming
Handbook of logic in computer science (vol. 2)
Object-oriented type systems
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A simple applicative language: mini-ML
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Language Prototyping: An Algebraic Specification Approach: Vol. V
Language Prototyping: An Algebraic Specification Approach: Vol. V
The Definition of Standard ML
A Complete Transformational Toolkit for Compilers
ESOP '96 Proceedings of the 6th European Symposium on Programming Languages and Systems
Type-Checking Revisited: Modular Error-Handling
Proceedings of the International Workshop on Semantics of Specification Languages (SoSL)
Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing
PLILP '94 Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming
Cosy Compiler Phase Embedding with the CoSy Compiler Model
CC '94 Proceedings of the 5th International Conference on Compiler Construction
Generic Techniques for Source-Level Debugging and Dynamic Program Slicing
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Origin Tracking in Primitive Recursive Schemes.
Origin Tracking in Primitive Recursive Schemes.
Animators and error reporters for generated programming environments
Animators and error reporters for generated programming environments
Program slices: formal, psychological, and practical investigations of an automatic program abstraction method
A slicing-based approach for locating type errors
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
A slicing-based approach for locating type errors
ACM Transactions on Software Engineering and Methodology (TOSEM)
Information and Computation
Information and Computation
Improving type error messages for generic Java
Higher-Order and Symbolic Computation
Hi-index | 0.00 |
Type checkers have been specified in ASF+SDF for many languages, using a variety of specification styles. Several mechanisms for tracking positional information have been proposed, each with shortcomings and/or restrictions on specifications. We propose the use of dynamic dependence tracking for tracking positional information. In this approach, a slice of the program being type checked is associated with each type error. This slice contains precisely those program fragments that caused the type error under consideration. Our approach is completely languageindependent, imposes no restrictions on ASF+SDF specifications, and has been applied successfully to a significant subset of Pascal. We report on several experiments that have shown an interesting correlation between the amount of nondeterminism in the specification, and the accuracy of the slices associated with type errors. Generally, more accurate error locations are obtained as the specification gets less deterministic.