Search results for "program transformation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo	Towards a Complete Scheme for Tabled Execution Based on Program Transformation.	PADL	2009	DBLP DOI BibTeX RDF	Continuation-call tabling, Performance, Program transformation, Implementation, Tabled logic programming
3	Matthieu Martel	Program transformation for numerical precision.	PEPM	2009	DBLP DOI BibTeX RDF	program transformation, abstract interpretation, compiler optimizations, floating-point numbers, numerical precision
3	Søren Debois	Imperative-program transformation by instrumented-interpreter specialization.	Higher-Order and Symbolic Computation	2008	DBLP DOI BibTeX RDF	Interpretive approach, Moore automata, Program transformation, Partial evaluation, Code duplication
3	Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo	A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation.	ICLP	2008	DBLP DOI BibTeX RDF	Continuation-call tabling, Performance, Program transformation, Implementation, Tabled logic programming
3	Martin P. Ward, Hussein Zedan	Slicing as a program transformation.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	FermaT, formal methods, reverse engineering, program transformation, reengineering, Slicing
3	Mike Jochen, Anteneh Addis Anteneh, Lori L. Pollock, Lisa M. Marvel	Enabling control over adaptive program transformation for dynamically evolving mobile software validation.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	dynamic and adaptive program transformation, integrity, program analysis, computer security, mobile code
3	Yuki Chiba, Takahito Aoto, Yoshihito Toyama	Program transformation by templates based on term rewriting.	PPDP	2005	DBLP DOI BibTeX RDF	inductive theorem proving, tree homomorphism, program transformation, term rewriting
3	Jing Zhang	Supporting software evolution through model-driven program transformation.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	model-driven program transformation, software evolution, model-driven software development
3	Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi	Deterministic Higher-Order Patterns for Program Transformation.	LOPSTR	2003	DBLP DOI BibTeX RDF	Higher-order pattern matching, Fusion transformation, Program transformation, Functional programming, Program derivation
3	Andrei P. Nemytykh, Victoria A. Pinchuk	Program Transformation with Metasystem Transitions: Experiments with a Supercompiler.	Ershov Memorial Conference	1996	DBLP DOI BibTeX RDF	metasystem transition, Refal, optimization, program transformation, recursion, metacomputation, supercompilation
3	Stephen Fitzpatrick, Terence J. Harmer, James M. Boyle	Deriving Efficient Parallel Implementations of Algorithms Operating on General Sparse Matrices Using Automatic Program Transformation.	CONPAR	1994	DBLP DOI BibTeX RDF	Program Transformation and Program Derivation, Automatic Parallelization and Mapping, Functional Programming, Sparse Matrices
2	John Brant, Don Roberts	The SmaCC transformation engine: how to convert your entire code base into a different programming language.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	code modernization, program transformation, refactoring, migration
2	David Monniaux	Automatic modular abstractions for linear constraints.	POPL	2009	DBLP DOI BibTeX RDF	program transformation, abstract interpretation, quantifier elimination, linear inequalities
2	Akim Demaille, Roland Levillain, Benoît Sigoure	TWEAST: a simple and effective technique to implement concrete-syntax AST rewriting using partial parsing.	SAC	2009	DBLP DOI BibTeX RDF	C++, program transformation, parsing, compiler design, rewrite rules, concrete syntax
2	Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz	Qualified Computations in Functional Logic Programming.	ICLP	2009	DBLP DOI BibTeX RDF	Constraints, Program Transformation, Rewriting Logic, Functional Logic Programming, Qualification
2	Romain Robbes, Michele Lanza	Example-Based Program Transformation.	MoDELS	2008	DBLP DOI BibTeX RDF
2	Mark Harman, André Baresel, David Binkley, Robert M. Hierons, Lin Hu, Bogdan Korel, Phil McMinn, Marc Roper	Testability Transformation - Program Transformation to Improve Testability.	Formal Methods and Testing	2008	DBLP DOI BibTeX RDF
2	Yoann Padioleau, Julia L. Lawall, René Rydhof Hansen, Gilles Muller	Documenting and automating collateral evolutions in linux device drivers.	EuroSys	2008	DBLP DOI BibTeX RDF	collateral evolutions, program transformation, software evolution, domain-specific language, linux, device drivers
2	Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Cláudio Silva, Ricardo Rocha	An Improved Continuation Call-Based Implementation of Tabling.	PADL	2008	DBLP DOI BibTeX RDF	Performance, Program transformation, Implementation, Tabled logic programming
2	Paolo Tacchella, Maurizio Gabbrielli, Maria Chiara Meo	Unfolding in CHR.	PPDP	2007	DBLP DOI BibTeX RDF	program transformation, unfolding, constraint handling rules
2	Feng Chen, Hongji Yang	Model Oriented Evolutionary Redocumentation.	COMPSAC	2007	DBLP DOI BibTeX RDF	Program Transformation, Model Transformation, Software Reengineering, Wide Spectrum Language (WSL), Redocumentation, Model Driven Engineering (MDE)
2	Changjun Hu, Guangli Yao, Jue Wang, Jianjiang Li	Transforming the Adaptive Irregular Out-of-Core Applications for Hiding Communication and Disk I/O.	OTM Conferences	2007	DBLP DOI BibTeX RDF	Iteration Reordering, Computation-communication overlap, Computation-Disk I/O overlap, Program Transformation
2	Ethan Schuchman, T. N. Vijaykumar	A program transformation and architecture support for quantum uncomputation.	ASPLOS	2006	DBLP DOI BibTeX RDF	QLA, uncomputation, quantum computing
2	Beatrice Luca, Stefan Andrei, Hugh Anderson, Siau-Cheng Khoo	Program transformation by solving recurrences.	PEPM	2006	DBLP DOI BibTeX RDF	efficient time complexity, recurrences with one or multiple parameters, program transformation
2	Yuki Chiba, Takahito Aoto	RAPT: A Program Transformation System Based on Term Rewriting.	RTA	2006	DBLP DOI BibTeX RDF
2	Bernd Brassel, Sebastian Fischer, Frank Huch	A Program Transformation for Tracing Functional Logic Computations.	LOPSTR	2006	DBLP DOI BibTeX RDF
2	Martin Bravenboer, Karl Trygve Kalleberg, Rob Vermaas, Eelco Visser	Stratego/XT 0.16: components for transformation systems.	PEPM	2006	DBLP DOI BibTeX RDF	pretty-printers, rewriting strategies, transformation components, compilers, program transformation, program analysis, term rewriting, program optimization, parsers, transformation systems
2	Sylvain Girbal, Nicolas Vasilache, Cédric Bastoul, Albert Cohen, David Parello, Marc Sigler, Olivier Temam	Semi-Automatic Composition of Loop Transformations for Deep Parallelism and Memory Hierarchies.	International Journal of Parallel Programming	2006	DBLP DOI BibTeX RDF	semi-automatic program transformation, Compiler optimization, automatic parallelization, polyhedral model
2	Bernd Löchner	Things to Know when Implementing KBO.	J. Autom. Reasoning	2006	DBLP DOI BibTeX RDF	Knuth-Bendix ordering, program transformation
2	Robert L. Akers, Ira D. Baxter, Michael Mehlich, Brian J. Ellis, Kenn R. Luecke	Reengineering C++ Component Models via Automatic Program Transformation.	WCRE	2005	DBLP DOI BibTeX RDF	compilers, C++, patterns, migration, legacy systems, re-engineering, software analysis, rewrite rules, abstract syntax trees, component architectures, software transformation
2	Shigeru Chiba	Program Transformation with Reflection and Aspect-Oriented Programming.	GTTSE	2005	DBLP DOI BibTeX RDF
2	Alcino Cunha, Jorge Sousa Pinto, José Proença	A Framework for Point-Free Program Transformation.	IFL	2005	DBLP DOI BibTeX RDF
2	Jing Zhang, Jeff Gray, Yuehua Lin	A model-driven approach to enforce crosscutting assertion checking.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	aspect-oriented programming, program transformation, design by contract, model-driven software development
2	Mila Dalla Preda, Roberto Giacobazzi	Control Code Obfuscation by Abstract Interpretation.	SEFM	2005	DBLP DOI BibTeX RDF	Semantics, Program Transformation, Program analysis, Abstract Interpretation, Code Obfuscation
2	Arshad Jhumka, Neeraj Suri	Designing Efficient Fail-Safe Multitolerant Systems.	FORTE	2005	DBLP DOI BibTeX RDF	multitolerance, safety specification, program transformation, automation, program synthesis, Detectors, fail-safe
2	Zhenjiang Hu, Tetsuo Yokoyama, Masato Takeichi	Program Optimizations and Transformations in Calculation Form.	GTTSE	2005	DBLP DOI BibTeX RDF	Program Transformation, Functional Programming, Program Optimization, Meta Programming, Program Calculation
2	Mila Dalla Preda, Roberto Giacobazzi	Semantic-Based Code Obfuscation by Abstract Interpretation.	ICALP	2005	DBLP DOI BibTeX RDF	Semantics, Program Transformation, Abstract Interpretation, Code Obfuscation
2	Artem Alimarine, Sjaak Smetsers	Improved Fusion for Optimizing Generics.	PADL	2005	DBLP DOI BibTeX RDF	generic/polytypic programming, program transformation, fusion
2	Alberto Pettorossi, Maurizio Proietti, Sophie Renault	Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism.	Higher-Order and Symbolic Computation	2005	DBLP DOI BibTeX RDF	automatic program derivation, transformation rules and strategies, logic programming, program transformation, program specialization
2	Robert L. Akers, Ira D. Baxter, Michael Mehlich	Invited application paper: re-engineering C++ components via automatic program transformation.	PEPM	2004	DBLP DOI BibTeX RDF	compilers, C++, patterns, migration, legacy systems, re-engineering, software analysis, rewrite rules, abstract syntax trees, component architectures, software transformation
2	Jeffrey G. Gray, Suman Roychoudhury	A technique for constructing aspect weavers using a program transformation engine.	AOSD	2004	DBLP DOI BibTeX RDF
2	Jeffrey G. Gray, Jing Zhang, Yuehua Lin, Suman Roychoudhury, Hui Wu, Rajesh Sudarsan, Aniruddha S. Gokhale, Sandeep Neema, Feng Shi, Ted Bapty	Model-Driven Program Transformation of a Large Avionics Framework.	GPCE	2004	DBLP DOI BibTeX RDF
2	Ira D. Baxter, Robert L. Akers	Component Architecture Reengineering by Program Transformation.	ICSM	2004	DBLP DOI BibTeX RDF
2	Jeffrey G. Gray, Jing Zhang, Suman Roychoudhury, Ira D. Baxter	C-SAW and genAWeave: a two-level aspect weaving toolsuite.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	aspect-oriented programming, software maintenance, program transformation, model-driven architecture
2	Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan	An unfold/fold transformation framework for definite logic programs.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	inductive theorem proving, Logic programming, program transformation, unfolding, folding
2	Kiminori Matsuzaki, Kazuhiko Kakehi, Hideya Iwasaki, Zhenjiang Hu, Yoshiki Akashi	A Fusion-Embedded Skeleton Library.	Euro-Par	2004	DBLP DOI BibTeX RDF	Skeletal Parallel Programming, Fusion Transformation, Bird-Meertens Formalism, Optimization, Program Transformation
2	Pascual Julián Iranzo, Christian Villamizar Lamus	Analysing Definitional Trees: Looking for Determinism.	FLOPS	2004	DBLP DOI BibTeX RDF	narrowing strategies, implementation of functional logic languages, program transformation, Functional logic programming
2	Susana Muñoz-Hernández, Julio Mariño, Juan José Moreno-Navarro	Constructive Intensional Negation.	FLOPS	2004	DBLP DOI BibTeX RDF	Logic Programming Implementation, Program Transformation, Constraint Logic Programming, Negation, Constructive Negation
2	Sandeep S. Kulkarni, Borzoo Bonakdarpour, Ali Ebnenasir	Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs.	LOPSTR	2004	DBLP DOI BibTeX RDF	Addition of faulttolerance, Fault-tolerance, Program transformation, Theorem proving, Program synthesis, PVS, Mechanical verification
2	Janis Voigtländer	Using Circular Programs to Deforest in Accumulating Parameters.	Higher-Order and Symbolic Computation	2004	DBLP DOI BibTeX RDF	intermediate results, accumulating arguments, unfold/fold, (short cut) deforestation, tree transducers, program transformation, tupling, circular programs
2	Alexander Alexeyevich Bukatov	Building the Program Parallelization System Based on a Very Wide Spectrum Program Transformation System.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
2	Chiyan Chen, Hongwei Xi	Implementing typeful program transformations.	PEPM	2003	DBLP DOI BibTeX RDF	DML, dependent ML, typeful program transformation, dependent types, CPS, continuation-passing style
2	Andrei M. Chepovsky, Andrei V. Klimov, Arkady V. Klimov, Yuri A. Klimov, Andrei S. Mishchenko, Sergei A. Romanenko, Sergei Yu. Skorobogatov	Partial Evaluation for Common Intermediate Language.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF	polyvariant Binding-Time Analysis, mutable objects, Common Intermediate Language, Program transformation, Partial Evaluation, object-oriented languages
2	Nikolay P. Varnovsky, Vladimir A. Zakharov	On the Possibility of Provably Secure Obfuscating Programs.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF	hard-core predicate, security, program transformation, mutual information, obfuscation, one-way function
2	Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi	Parallelization with Tree Skeletons.	Euro-Par	2003	DBLP DOI BibTeX RDF	Parallel Skeletons, Tree Algorithms, Algorithm Derivation, Parallelization, Program Transformation
2	Ralf Lämmel, Joost Visser	A Strafunski Application Letter.	PADL	2003	DBLP DOI BibTeX RDF	Strafunski, Generic traversal, External components, Program transformation, Program analysis, Functional programming, Language processing, Interchange formats
2	Elizabeth I. Leonard, Constance L. Heitmeyer	Program Synthesis from Formal Requirements Specifications Using APTS.	Higher-Order and Symbolic Computation	2003	DBLP DOI BibTeX RDF	APTS, formal specifications, program transformation, code generation, requirements specifications, SCR, code synthesis
2	Thomas W. Reps, Louis B. Rall	Computational Divided Differencing and Divided-Difference Arithmetics.	Higher-Order and Symbolic Computation	2003	DBLP DOI BibTeX RDF	computational differentiation, interpolation, program transformation, multivariate interpolation, round-off error, divided differences
2	Yoshihiko Futamura, Zenjiro Konishi, Robert Glück	WSDFU: Program Transformation System Based on Generalized Partial Computation.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
2	Andrei P. Nemytykh	A note on elimination of simplest recursions.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	refal, functional programming languages, automatic program transformation
2	Ralf Lämmel, Joost Visser	Typed Combinators for Generic Traversal.	PADL	2002	DBLP DOI BibTeX RDF	program transformation, Genericity, combinators, traversal
2	Alain Darte, Guillaume Huard	Complexity of Multi-dimensional Loop Alignment.	STACS	2002	DBLP DOI BibTeX RDF	Complexity, Program Transformation, Retiming, Automatic Parallelization, Loop Optimization
2	Alberto Pettorossi, Maurizio Proietti	The List Introduction Strategy for the Derivation of Logic Programs.	Formal Asp. Comput.	2002	DBLP DOI BibTeX RDF	Transformation rules and strategies, Logic programming, Program transformation, Automatic programming, Program derivation
2	Eelco Visser	Stratego: A Language for Program Transformation Based on Rewriting Strategies.	RTA	2001	DBLP DOI BibTeX RDF
2	Martin P. Ward	The FermaT Assembler Re-engineering Workbench. (PDF / PS)	ICSM	2001	DBLP DOI BibTeX RDF	Reverse Engineering Migration, Formal Methods, Program Transformation, Legacy Systems, Comprehension, Assembler, Restructuring, Re-engineering, WSL, Wide Spectrum Language
2	Isabelle Attali, Carine Courbis, Pascal Degenne, Alexandre Fau, Didier Parigot, Claude Pasquier	SmartTools: A Generator of Interactive Environments Tools.	CC	2001	DBLP DOI BibTeX RDF	Software development, Program transformation, Interactive Environment
2	Thorsten Ehm	Transformational Construction of Correct Pointer Algorithms.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF	Paterson/Hewitt, pointer algorithms, destructive updates, program transformation
2	Dirk Heuzeroth, Welf Löwe, Andreas Ludwig, Uwe Aßmann	Aspect-Oriented Configuration and Adaptation of Component Communication.	GCSE	2001	DBLP DOI BibTeX RDF	Aspect-Oriented Programming, Program Transformation, Component-Based Software Development, Program Inversion
2	Hong Tang, Kai Shen, Tao Yang	Program transformation and runtime support for threaded MPI execution on shared-memory machines.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	lock-free synchronization, multiprogrammed environments, threaded execution, MPI, program transformation, shared-memory machines
2	Michael Voss, Rudolf Eigenmann	ADAPT: Automated De-Coupled Adaptive Program Transformation. (PDF / PS)	ICPP	2000	DBLP DOI BibTeX RDF
2	Jens Palsberg, S. Krishnaswamy, Minseok Kwon, Di Ma, Qiuyun Shao, Y. Zhang	Experience with Software Watermarking.	ACSAC	2000	DBLP DOI BibTeX RDF	program-transformation attacks, heap-space usage, watermark retrieval time, protection technique, tamperproofing, Java, Java, data structures, security of data, execution times, obfuscation, dynamic data structures, code size, software watermarking, copy protection
2	Elvira Albert, César Ferri, Frank Steiner, Germán Vidal	Improving Functional Logic Programs by Difference-Lists.	ASIAN	2000	DBLP DOI BibTeX RDF	program transformation, compiler optimization, functional logic programming
2	Neil D. Jones	The Essence of Program Transformation by Partial Evaluation and Driving.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
2	Loïc Correnson, Étienne Duris, Didier Parigot, Gilles Roussel	Equational Semantics.	SAS	1999	DBLP DOI BibTeX RDF	semantics, program transformation, partial evaluation, deforestation
2	Michael Leuschel, Bern Martens, Danny De Schreye	Controlling Generalization amd Polyvariance in Partial Deduction of Normal Logic Programs.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	program transformation, partial evaluation, flow analysis, partial deduction, supercompilation
2	Hongji Yang, Paul Luker, William C. Chu	Code Understanding through Program Transformation for Reusable Component Identification. (PDF / PS)	WPC	1997	DBLP DOI BibTeX RDF
2	Halime Büyükyildiz, Pierre Flener	Generalised Logic Program Transformation Schemas.	LOPSTR	1997	DBLP DOI BibTeX RDF
2	Clifford Beshers, Steven Feiner	Generating Efficient Virtual Worlds for Visualization Using Partial Evaluation and Dynamic Compilation.	PEPM	1997	DBLP DOI BibTeX RDF	multivariate data visualization, program transformation, virtual worlds, partial evaluation, dataflow
2	Annalisa Bossi, Nicoletta Cocco	Programs Without Failures.	LOPSTR	1997	DBLP DOI BibTeX RDF	finitely failing derivations, program transformation, program verification
2	Jan Sparud, Colin Runciman	Tracing Lazy Functional Computations Using Redex Trails.	PLILP	1997	DBLP DOI BibTeX RDF	debugging, program transformation, Haskell, graph reduction
2	Farokh B. Bastani, Bojan Cukic	Impact of program transformation on software reliability assessment. (PDF / PS)	HASE	1996	DBLP DOI BibTeX RDF	statistical sampling method, complete program paths, partial proofs, reliability assessment procedure, formal methods, program transformation, program verification, correctness, software fault tolerance, safety critical software, test cases, operational profile, reliability estimate, software reliability assessment
2	David Sands	Total Correctness by Local Improvement in the Transformation of Functional Programs.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	operational equivalence, unfold-fold, program transformation, correctness, improvement
2	Uwe Aßmann	How to Uniformly Specify Program Analysis and Transformation with Graph Rewrite Systems.	CC	1996	DBLP DOI BibTeX RDF	optimization, specification, program transformation, Program analysis, graph rewrite systems
2	Peter Thiemann, Michael Sperber	Polyvariant Expansion and Compiler Generators.	Ershov Memorial Conference	1996	DBLP DOI BibTeX RDF	program analysis, abstract interpretation, partial evaluation, automatic program transformation
2	David Sands	Total Correctness by Local Improvement in Program Transformation.	POPL	1995	DBLP DOI BibTeX RDF
2	Christoph W. Kessler	Pattern-driven automatic program transformation and parallelization.	PDP	1995	DBLP DOI BibTeX RDF	PARAMAT system, sequential numeric codes, dense vectors, distributed memory message-passing multiprocessors, pattern recognition tool, pattern recognition, parallel algorithm, parallel programming, parallelization, software tools, distributed memory systems, automatic programming, program semantics, automatic program transformation
2	Phillip C.-Y. Sheu, Song Bong Yoo	A Knowledge-based Program Transformation System	CAiSE	1994	DBLP DOI BibTeX RDF
2	Harald Gall, René Klösch	Program transformation to enhance the reuse potential of procedural software.	SAC	1994	DBLP DOI BibTeX RDF	reverse engineering, program transformation, software reuse, reusable components
2	Haklin Kim	Program Transformation for the Longest Upsequence Set Problem.	SAC	1993	DBLP DOI BibTeX RDF	program transformation, program verification, logics of programs
2	Francis Alexandre, Khaled Bsaïes, Jean-Pierre Finance, Alain Quéré	Spes: A System for Logic Program Transformation.	LPAR	1992	DBLP DOI BibTeX RDF	Key-words program transformation, strategy, unfolding, folding
2	J. Allan Yang, Young-il Choo	Metalinguistic features for formal parallel-program transformation.	ICCL	1992	DBLP DOI BibTeX RDF
2	Richard N. Taylor, David L. Levine, Cheryl D. Kelly	Structural Testing of Concurrent Programs.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	structural testing techniques, structural testing criteria, concurrency state coverage, state transition coverage, synchronization coverage, static concurrency analyzer, program transformation system, powerful run-time monitor, controllable run-time scheduler, CSP-like languages, static naming, tasking objects, scheduling, parallel programming, Ada, concurrency control, software metrics, program testing, concurrent programs, support tools, sequential programs
2	Francis Alexandre	A technique for Transforming Logic Programs by Fold-Unfold Transformations.	PLILP	1992	DBLP DOI BibTeX RDF	definite program, fold-unfold, program transformation, schema
2	Pascal Fradet, Daniel Le Métayer	Compilation of Functional Languages by Program Transformation.	ACM Trans. Program. Lang. Syst.	1991	DBLP DOI BibTeX RDF	program transformation, continuations, combinators
2	Françoise Bellegarde	Program Transformation and Rewriting.	RTA	1991	DBLP DOI BibTeX RDF
2	Fosca Giannotti, Manuel V. Hermenegildo	A Technique for Recursive Invariance Detection and Selective Program Specification.	PLILP	1991	DBLP DOI BibTeX RDF	Cycle Invariant Detection, Compile-time Optimization, Logic Programming, Program Transformation, Abstract Interpretation, Program Specialization, Parallel Logic Programming
2	Harald Vogt, Aswin van den Berg, Arend Freije	Rapid Development of a Program Transformation System with Attribute Grammars and Dynamic Transformations.	WAGA	1990	DBLP DOI BibTeX RDF
2	John Sieg Jr.	A Tool Supporting Query Optimization and Program Transformation Techniques.	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
2	Gordon Kotik, Lawrence Markosian	Automating Software Analysis and Testing Using a Program Transformation System.	Symposium on Testing, Analysis, and Verification	1989	DBLP DOI BibTeX RDF	C
2	Alain J. Martin	The Design of a Delay-Insensitive Microprocessor: An Example of Circuit Synthesis by Program Transformation.	Hardware Specification, Verification and Synthesis	1989	DBLP DOI BibTeX RDF