Program Translation Via Abstraction and Reimplementation
IEEE Transactions on Software Engineering
Recognizing a Program's Design: A Graph-Parsing Approach
IEEE Software
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
The layered architecture of a system for reasoning about programs
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |