Structured Programming with go to Statements
ACM Computing Surveys (CSUR)
Automatic data structure choice in a language of very high level
Communications of the ACM
Knowledge about programs: A model and case study
Proceedings of the international conference on Reliable software
Program improvement by source to source transformation
POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
Goal-directed program transformation
POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
A knowledge-based problem-specific program generator
ACM SIGPLAN Notices
Parameterized programming in OBJ2
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming
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
Explanation-based learning: a survey of programs and perspectives
ACM Computing Surveys (CSUR)
Program Transformation Systems
ACM Computing Surveys (CSUR)
A System for Assisting Program Transformation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Program developments: formal explanations of implementations
Communications of the ACM
Contemporary software development environments
Communications of the ACM
On the inevitable intertwining of specification and implementation
Communications of the ACM
DMS: program transformations for practical scalable software evolution
Proceedings of the International Workshop on Principles of Software Evolution
Program refinement by transformation
ICSE '81 Proceedings of the 5th international conference on Software engineering
ICSE '81 Proceedings of the 5th international conference on Software engineering
The selection of efficient implementations for a high-level language
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
Program manipulation via an efficient production system
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
A hierarchical structuring method for functional software systems
ICSE '82 Proceedings of the 6th international conference on Software engineering
DMS®: Program Transformations for Practical Scalable Software Evolution
Proceedings of the 26th International Conference on Software Engineering
Mappings for rapid prototyping
Proceedings of the workshop on Rapid prototyping
Contemporary software development environments
ACM SIGSOFT Software Engineering Notes
On the use of programming knowledge to understand informal process descriptions
ACM SIGART Bulletin
The case for analysis preserving language transformation
Proceedings of the 2006 international symposium on Software testing and analysis
Case study: Re-engineering C++ component models via automatic program transformation
Information and Software Technology
Principles of good software specification and their implications for specification languages
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
Informality in program specifications
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
Reverse engineering and reusing COBOL programs: a program transformation approach
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
POET: a scripting language for applying parameterized source-to-source program transformations
Software—Practice & Experience
| Hi-index | 0.05 |
This paper discusses various approaches to programming, defining and highlighting Transformational Implementation; it then examines the basic causes of the software problem and their resolution with Transformational Implementation. Finally, an example illustrating the approach is given.