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
Type checking evolving languages with MSOS
Semantics and algebraic specification
Language description for front end implementation
Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications
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 |