ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
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
Related Documents
Cited By
References
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
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
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
Partial Jacobian computation in the domain-specific program transformation system ADiCape
2009 International Multiconference on Computer Science and Information Technology
◽
10.1109/imcsit.2009.5352778
◽
2009
◽
Author(s):
Monika Petera
◽
Michael Lulfesmann
◽
H. Martin Bucker
Keyword(s):
Program Transformation
◽
Transformation System
◽
Domain Specific
◽
Specific Program
Download Full-text
Linking Syntactic and Semantic Models of Java Source Code within a Program Transformation System
2012 IEEE 14th International Symposium on High-Assurance Systems Engineering
◽
10.1109/hase.2012.8
◽
2012
◽
Cited By ~ 3
Author(s):
Victor L. Winter
◽
Jonathan Guerrero
◽
Alexander James
◽
Carl Reinke
Keyword(s):
Program Transformation
◽
Source Code
◽
Transformation System
◽
Semantic Models
Download Full-text
ASTRE: Towards a fully automated program transformation system
Rewriting Techniques and Applications - Lecture Notes in Computer Science
◽
10.1007/3-540-59200-8_73
◽
1995
◽
pp. 403-407
Author(s):
F. Bellegarde
Keyword(s):
Program Transformation
◽
Transformation System
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close