A Transformation System for Developing Recursive Programs
Journal of the ACM (JACM)
The evolution of list-copying algorithms and the need for structured program verification
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Software Tools
HOPE: An experimental applicative language
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
On the Transformational Implementation approach to programming
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Program Specification Applied to a Text Formatter
IEEE Transactions on Software Engineering
The promotion and accumulation strategies in transformational programming
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
ACE: an automatic complexity evaluator
ACM Transactions on Programming Languages and Systems (TOPLAS)
Unfold/fold transformations and loop optimization of logic programs
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
A transformational approach to the derivation of hardware algorithms from recurrence equations
Proceedings of the 1988 ACM/IEEE conference on Supercomputing
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
Transformations on higher-order functions
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Formal methods in transformational derivation of programs
Conference proceedings on Formal methods in software development
A tool supporting query optimization and program transformation techniques
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
KIDS: A Semiautomatic Program Development System
IEEE Transactions on Software Engineering
Parallel-program transformation using a metalanguage
PPOPP '91 Proceedings of the third ACM SIGPLAN symposium on Principles and practice of parallel programming
Safe fusion of functional expressions
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
Program Concept Recognition and Transformation
IEEE Transactions on Software Engineering - Special issue on software maintenance
Automated assistance for program restructuring
ACM Transactions on Software Engineering and Methodology (TOSEM)
Deductive and inductive synthesis of equational programs
Journal of Symbolic Computation - Special issue on automatic programming
Rules and strategies for transforming functional and logic programs
ACM Computing Surveys (CSUR)
Discovering auxiliary information for incremental computation
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Constraints to stop higher-order deforestation
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Semantics-preserving procedure extraction
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Program Transformation Systems
ACM Computing Surveys (CSUR)
Grammar-Based Definition of Metaprogramming Systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Software restructuring: implementing a code abstraction transformation
SAICSIT '02 Proceedings of the 2002 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology
Using Transformations in Specification-Based Prototyping
IEEE Transactions on Software Engineering
Listlessness is better than laziness: Lazy evaluation and garbage collection at compile-time
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
IEEE Transactions on Software Engineering
Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
ACM SIGCSE Bulletin
Theory of linear equations applied to program transformation
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Understanding and automating algorithm design
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
A survey of strategies in rule-based program transformation systems
Journal of Symbolic Computation
Testability transformation: program transformation to improve testability
Formal methods and testing
Using abstraction to automate program improvement by transformation
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
FlagRemover: A testability transformation for transforming loop-assigned flags
ACM Transactions on Software Engineering and Methodology (TOSEM)
Task partitioning for multi-core network processors
CC'05 Proceedings of the 14th international conference on Compiler Construction
Tactics for transformational programming
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.00 |