Origin Functions in Lambda-Calculus and Term Rewriting Systems

Authors:
Yves Bertot
Affiliations:
-
Venue:
CAAP '92 Proceedings of the 17th Colloquium on Trees in Algebra and Programming
Year:
1992

Citing 0
Cited 4

A slicing-based approach for locating type errors

ACM Transactions on Software Engineering and Methodology (TOSEM)
Source-tracking unification

Information and Computation
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
Source-tracking unification

Information and Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract