A slicing-based approach for locating type errors
ACM Transactions on Software Engineering and Methodology (TOSEM)
Validation of code-improving transformations for embeded systems
Proceedings of the 2003 ACM symposium on Applied computing
Automatic validation of code-improving transformations on low-level program representations
Science of Computer Programming - Special issue on program transformation
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
Hi-index | 0.00 |