Systematic design of program transformation frameworks by abstract interpretation
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Control Code Obfuscation by Abstract Interpretation
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Semantics-based code obfuscation by abstract interpretation
Journal of Computer Security
Semantic-based code obfuscation by abstract interpretation
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
Hi-index | 0.00 |
As the emphasis of Programming Languages has evolved from computing on numbers to computing on programs, the area of program transformations has naturally gained in importance. This paper briefly surveys what transformational programming is about, and how to make progress in the field.