Testing for the Church-Rosser Property
Journal of the ACM (JACM)
Proving Theorems about LISP Functions
Journal of the ACM (JACM)
Assignment Commands with Array References
Journal of the ACM (JACM)
A simplifier based on efficient decision algorithms
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A normal form for compiler testing
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
Assignment Commands with Array References
Journal of the ACM (JACM)
Symbolic program analysis using term rewriting and generalization
Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design
| Hi-index | 0.00 |