A Transformation System for Developing Recursive Programs
Journal of the ACM (JACM)
Program Improvement by Source-to-Source Transformation
Journal of the ACM (JACM)
The Cornell program synthesizer: a syntax-directed programming environment
Communications of the ACM
A Metalanguage for interactive proof in LCF
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A Discipline of Programming
The Design of an Optimizing Compiler
The Design of an Optimizing Compiler
Suggestions for Composing and Specifying Program Design Decisions
Proceedings of the Fourth 'Colloque International sur la Programmation' on International Symposium on Programming
Program refinement by transformation
ICSE '81 Proceedings of the 5th international conference on Software engineering
Improving and refining programs by program manipulation
ACM '76 Proceedings of the 1976 annual conference
Programming as an evolutionary process
ICSE '76 Proceedings of the 2nd international conference on Software engineering
On the Transformational Implementation approach to programming
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Knowledge about programs: A model and case study
Proceedings of the international conference on Reliable software
Global program optimizations.
Power, efficiency, and correctness of transformation systems.
Power, efficiency, and correctness of transformation systems.
Software construction using components
Software construction using components
Structure comparison and semantic interpretation of differences
Structure comparison and semantic interpretation of differences
Program abstraction and instantiation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Language support for the specification and development of composite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Worlds: an organizing structure for object-bases
SDE 2 Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Artificial intelligence and software engineering
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Recording the reasons for design decisions
ICSE '88 Proceedings of the 10th international conference on Software engineering
Constructing Specifications by Combining Parallel Elaborations
IEEE Transactions on Software Engineering
Transformational derivation of programs using the focus system
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
ICSE '89 Proceedings of the 11th international conference on Software engineering
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Integrating multiple specifications using domain goals
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
Building an evolution transformation library
ICSE '90 Proceedings of the 12th international conference on Software engineering
KIDS: A Semiautomatic Program Development System
IEEE Transactions on Software Engineering
Communications of the ACM
Process programming by hindsight
ICSE '92 Proceedings of the 14th international conference on Software engineering
Migration: a model for design by modification
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
Efficient implementation of adaptive software
ACM Transactions on Programming Languages and Systems (TOPLAS)
EVA: A Flexible Programming Method for Evolving Systems
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
MetaCores: design and optimization techniques
Proceedings of the 38th annual Design Automation Conference
Compilers and staging transformations
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Splitting the Difference: The Historical Necessity of Synthesis in Software Engineering
IEEE Annals of the History of Computing
Using Transformations in Specification-Based Prototyping
IEEE Transactions on Software Engineering
On 'A Framework for Source Code Search Using Program Patterns'
IEEE Transactions on Software Engineering
Support for Managing Design-Time Decisions
IEEE Transactions on Software Engineering
Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Synthesizing UNIX shell scripts using derivational analogy: an empirical assessment
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Software engineering as the design theoretic transformation of software problems
Innovations in Systems and Software Engineering
| Hi-index | 48.23 |