Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming
IEEE Transactions on Software Engineering
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
Rules and strategies for transforming functional and logic programs
ACM Computing Surveys (CSUR)
Program Transformation Systems
ACM Computing Surveys (CSUR)
Compilers and staging transformations
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A continuation-based framework for economy-driven grid service provision
GECON'07 Proceedings of the 4th international conference on Grid economics and business models
Hi-index | 0.01 |