A slicing-based approach for locating type errors
ACM Transactions on Software Engineering and Methodology (TOSEM)
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 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
Banana Algebra: Compositional syntactic language extension
Science of Computer Programming
Hi-index | 0.00 |