Conditional rewrite rules: Confluence and termination
Journal of Computer and System Sciences
Algebraic specification
Occurrences in debugger specifications
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
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
Catching bugs in the web of program invariants
PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
A simple applicative language: mini-ML
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Finding the source of type errors
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
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)
Minimal Term Rewriting Systems
Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification
Tracing the Origins of Verification Conditions
AMAST '96 Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology
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
Origin Functions in Lambda-Calculus and Term Rewriting Systems
CAAP '92 Proceedings of the 17th Colloquium on Trees in Algebra and Programming
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
A slicing-based approach for locating type errors
A slicing-based approach for locating type errors
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
Type error slicing in implicitly typed higher-order languages
ESOP'03 Proceedings of the 12th European conference on Programming
Renovation of the Asf+Sdf meta-environment: current state of affairs
Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications
A case study of a slicing-based approach for locating type errors
Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications
| Hi-index | 0.00 |
The effiectiveness 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 type checking Pe is guaranteed to produce the same error e. Our approach is completely language-independent, and has been implemented for a significant subset of Pascal.