RAPT: A Program Transformation System Based on Term Rewriting

Lecture Notes in Computer Science - Term Rewriting and Applications ◽

10.1007/11805618_20 ◽

2006 ◽

pp. 267-276

Author(s):

Yuki Chiba ◽

Takahito Aoto

Keyword(s):

Program Transformation ◽

Term Rewriting ◽

Transformation System

Download Full-text

The TAMPR Program Transformation System: Simplifying the Development of Numerical Software

Modern Software Tools for Scientific Computing ◽

10.1007/978-1-4612-1986-6_17 ◽

1997 ◽

pp. 353-372 ◽

Cited By ~ 9

Author(s):

James M. Boyle ◽

Terence J. Harmer ◽

Victor L. Winter

Keyword(s):

Program Transformation ◽

Transformation System ◽

Numerical Software

Download Full-text

WSDFU: Program Transformation System Based on Generalized Partial Computation

Lecture Notes in Computer Science - The Essence of Computation ◽

10.1007/3-540-36377-7_16 ◽

2007 ◽

pp. 358-378 ◽

Cited By ~ 3

Author(s):

Yoshihiko Futamura ◽

Zenjiro Konishi ◽

Robert Glück2

Keyword(s):

Program Transformation ◽

Transformation System

Download Full-text

Program Transformation Templates for Tupling Based on Term Rewriting

IEICE Transactions on Information and Systems ◽

10.1587/transinf.e93.d.963 ◽

2010 ◽

Vol E93-D (5) ◽

pp. 963-973

Author(s):

Yuki CHIBA ◽

Takahito AOTO ◽

Yoshihito TOYAMA

Keyword(s):

Program Transformation ◽

Term Rewriting

Download Full-text

Automating software analysis and testing using a program transformation system

Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification - TAV3 ◽

10.1145/75308.75318 ◽

1989 ◽

Cited By ~ 9

Author(s):

G. Kotik ◽

L. Markosian

Keyword(s):

Program Transformation ◽

Transformation System ◽

Software Analysis

Download Full-text

Viewing a program transformation system at work

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-58431-5_3 ◽

1994 ◽

pp. 5-5 ◽

Cited By ~ 2

Author(s):

Robert Paige

Keyword(s):

Program Transformation ◽

Transformation System

Download Full-text

CACHET: an interactive, incremental-attribution-based program transformation system for deriving incremental programs

Proceedings 1995 10th Knowledge-Based Software Engineering Conference ◽

10.1109/kbse.1995.490115 ◽

2002 ◽

Cited By ~ 4

Author(s):

Y.A. Liu

Keyword(s):

Program Transformation ◽

Transformation System

Download Full-text

A Knowledge-Based Program Transformation System

Notes on Numerical Fluid Mechanics and Multidisciplinary Design - Active Flow and Combustion Control 2018 ◽

10.1007/3-540-58113-8_173 ◽

1994 ◽

pp. 228-241 ◽

Cited By ~ 2

Author(s):

P. C- Y. Sheu ◽

S. Yoo

Keyword(s):

Program Transformation ◽

Transformation System ◽

Knowledge Based

Download Full-text

Building the Program Parallelization System Based on a Very Wide Spectrum Program Transformation System

Lecture Notes in Computer Science - Computational Science — ICCS 2003 ◽

10.1007/3-540-44862-4_102 ◽

2003 ◽

pp. 945-954

Author(s):

Alexander Alexeyevich Bukatov

Keyword(s):

Program Transformation ◽

Wide Spectrum ◽

Transformation System ◽

Program Parallelization

Download Full-text

A transformation system combining partial evaluation with term rewriting

Higher-Order Algebra, Logic, and Term Rewriting - Lecture Notes in Computer Science ◽

10.1007/3-540-58233-9_3 ◽

1994 ◽

pp. 40-55 ◽

Cited By ~ 4

Author(s):

Françoise Bellegarde

Keyword(s):

Partial Evaluation ◽

Term Rewriting ◽

Transformation System

Download Full-text

Program transformation by templates based on term rewriting

Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '05 ◽

10.1145/1069774.1069780 ◽

2005 ◽

Cited By ~ 4

Author(s):

Yuki Chiba ◽

Takahito Aoto ◽

Yoshihito Toyama

Keyword(s):

Program Transformation ◽

Term Rewriting

Download Full-text