Program Transformation Systems
ACM Computing Surveys (CSUR)
Program developments: formal explanations of implementations
Communications of the ACM
On proving the correctness of optimizing transformations in a digital design automation system
DAC '81 Proceedings of the 18th Design Automation Conference
Program refinement by transformation
ICSE '81 Proceedings of the 5th international conference on Software engineering
An Abstract Model of Behavior for Hardware Descriptions
IEEE Transactions on Computers
| Hi-index | 0.02 |