A slicing-based approach for locating type errors
ACM Transactions on Software Engineering and Methodology (TOSEM)
Context-Aware Code Certification
Proceedings of the 19th IEEE international conference on Automated software engineering
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
Explaining Verification Conditions
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
Hi-index | 0.00 |