Macro processing in high-level languages
ACM SIGPLAN Notices
Automating the re-declaration of unneeded globals as private
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
Building, modifying and using component generators
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Computer
Control Localization in Domain Specific Translation
ICSR-7 Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools
Imperative Program Transformation by Rewriting
CC '01 Proceedings of the 10th International Conference on Compiler Construction
A New Architecture for Transformation-Based Generators
IEEE Transactions on Software Engineering
An algebraic programming style for numerical software and its optimization
Scientific Programming
Program transformations using temporal logic side conditions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Challenges in the successful transfer of formal methods technology into industrial applications
Information and Software Technology
A survey of strategies in rule-based program transformation systems
Journal of Symbolic Computation
Applications of the TAMPR transformation system
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
Hi-index | 0.00 |