Program transformation using HATS 1.84

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4143 LNCS, Issue , 2006, Pages 378-396

  Winter, Victor ^a   Beranek, Jason ^a  

^a UNIVERSITY OF NEBRASKA AT OMAHA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER PROGRAMMING; COMPUTER SCIENCE; COMPUTER SYSTEMS; PROBLEM SOLVING;

PROGRAM TRANSFORMATION; TRANSFORMATION SYSTEMS; TRANSFORMATIONAL ABSTRACTIONS;

SOFTWARE ENGINEERING;

EID: 33750061908     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11877028_15     Document Type: Conference Paper

References (26)

1. A. Begel, M. Boshernitsan, and S. L. Graham. Transformational generation of language plug-ins in the harmonia framework. Technical Report CSD-05-1370, University of California, Berkeley, California, January 2005.
2. J. A. Bergstra. Algebraic specification. ACM Press, New York, NY, USA, 1989.
3. P. Borovanský, C. Kirchner, H. Kirchner, P.-E. Moreau, and C. Ringeissen. An overview of elan. Electr. Notes Theor. Comput. Sci., 15, 1998.
4. J. M. Boyle, T. J. Harmer, and V. L. Winter. The TAMPR Program Transformation System: Simplifying the Development of Numerical Software. In E. Arge, A. M. Bruaset, and H. P. Langtangen, editors, Modern Software Tools for Scientific Computing, pages 353-372. Birkhäuser Boston, Inc., 1997.
5. J. M. Boyle and M. N. Muralidharan. Program Reusability through Program Transformation. In IEEE Transactions on Software Engineering, volume 10:5, pages 574-588, September 1984.
6. Cirstea, Horatiu and Kirchner, Claude. The rewriting calculus as a semantics of ELAN. In J. Hsiang and A. Ohori, editors, 4th Asian Computing Science Conference, volume 1538 of Lecture Notes in Computer Science, pages 8-10, Manila, The Philippines, Dec. 1998. Springer-Verlag.
7. Cirstea, Horatiu and Kirchner, Claude. An introduction to the rewriting calculus. Research Report RR-3818, INRIA, Dec. 1999.
8. M. de Jonge. A pretty-printer for every occasion, 2000.
9. HATS. http://faculty.ist.unomaha.edu/winter/hats-uno/hatsweb/index.html.
10. J. He and C. A. R. Hoare. Unifying theories of programming. Prentice Hall International Series in Comptuer Science, 1998.
11. J. Kyoda and H. Jifeng. Towards an Algebraic Synthesis of Verilog. Technical Report UNU/IIST Report No. 218, The United Nations University, July 2001.
12. R. Lämmel, E. Visser, and J. Visser. The Essence of Strategic Programming. 18 p.; Draft; Available at http://www.cwi.nl/~ralf, Oct.15 2002.
13. R. Lämmel and J. Visser. A Strafunski Application Letter. In V. Dahl and P. Wadler, editors, Proc. of Practical Aspects of Declarative Programming (PADL'03), volume 2562 of LNCS, pages 357-375. Springer-Verlag, Jan. .
14. R. Lämmel, J. Visser, and J. Kort. Dealing with Large Bananas. In J. Jeuring, editor, Proceedings of WGP'2000, Technical Report, Universiteit Utrecht, pages 46-59, July 2000.
15. K. O. M. Bravenboer, A. van Dam and E. Visser. Program transformation with scoped dynamic rewrite rules. Technical Report UU-CS-2005-005, Institute of Information and Computing Sciences, Utrecht University, 2005.
16. S. McPeak. Elkhound: A fast, practial glr parser generator. Technical Report UCB/CSD-2-1214, University of California, Berkeley, California, December 2002.
17. M. van den Brand, M. Sellink, and C. Verhoef. Current parsing techniques in software renovation considered harmful. In In Proceedings of the 6th International Workshop on Program Comprehension, IWPC'98, pages 108-117, Ischia, Italy, 1998.
18. M. G. J. van den Brand, P. Klint, and J. J. Vinju. Term rewriting with traversal functions. ACM Trans. Softw. Eng. Methodol., 12(2):152-190, 2003.
19. M. G. J. van den Brand, J. Scheerder, J. Vinju, and E. Visser. Disambiguation filters for scannerless generalized LR parsers. In N. Horspool, editor, Compiler Construction (CC'02), volume 2304 of Lecture Notes in Computer Science, pages 143-158, Grenoble, France, April 2002. Springer-Verlag.
20. E. Visser. Syntax Definition for Language Prototyping. PhD thesis, University of Amsterdam, 1997.
21. E. Visser, Z. el Abidine Benaissa, and A. Tolmach. Building program optimizers with rewriting strategies. In ICFP '98: Proc. of the third ACM SIGPLAN international conference on Functional programming, pages 13-26. ACM Press, 1998.
22. th IEEE International Symposium on High Assurance Systems Engineering, 2004.
23. V. Winter. Strategy Construction in the Higher-Order Framework of TL. Electronic Notes in Theoretical Computer Science (ENTCS), 124, 2004.
24. V. Winter and M. Subramaniam. Dynamic Strategies, Transient Strategies, and the Distributed Data Problem. Science of Computer Programming (Special Issue on Program Transformation), 52:165-212, 2004.
25. V. L. Winter. An overview of hats: a language independent high assurance transformation system. In In Proc. of IEEE Symposium on Application-Specific Systems and Software Engineering and Technology (ASSET)., pages 222-229, March 1999.
26. V. L. Winter, J. Beranek, A. Mametjanov, F. Fraij, S. Roach, and G. Wickstrom. A Transformational Overview of the Core Functionality of an Abstract Class Loader for the SSP. In Tenth IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2005), 2005.