Systematic design of program transformation frameworks by abstract interpretation
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A new framework for declarative programming
Theoretical Computer Science
Hi-index | 0.00 |