A framework for datatype transformation

Electronic Notes in Theoretical Computer Science

Volumn 82, Issue 3, 2003, Pages 463-482

  Kort, Jan ^a   Lämmel, Ralf ^b,c  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

^b CWI   (Netherlands)

^c VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

DATATYPE TRANSFORMATION; FUNCTIONAL PROGRAM REFACTORING; GENERIC META PROGRAMMING; OPERATORS;

COMPUTER OPERATING SYSTEMS; COMPUTER SOFTWARE; DATA STRUCTURES; ENCODING (SYMBOLS); GRAPHICAL USER INTERFACES; MATHEMATICAL TRANSFORMATIONS; SYNTACTICS;

DATABASE SYSTEMS;

EID: 19044373606     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)82623-4     Document Type: Conference Paper

References (22)

1. Arango G., Baxter I., Freeman P., Pidgeon C. TMM: Software maintenance by transformation. IEEE Software. 3:(3):May 1986;27-39
2. C Batini S. Ceri S.B Navathe Conceptual database design Benjamin/Cummings Redwood City, US, 1992.
3. Burstall R.M., Darlington John. A transformation system for developing recursive programs. Journal of the ACM. 24:(1):January 1977;44-67
4. Banerjee J., Kim W., Kim H.-J., Korth H.F. Semantics and Implementation of Schema Evolution in Object-Oriented Databases. SIGMOD Record (Proc. Conf. on Management of Data). 16:(3):May 1987;311-322
5. de Roever Willem-Paul, Engelhardt Kai. Data Refinement: Model-Oriented Proof Methods and their Comparison, volume 47 of Cambridge Tracts in Theoretical Computer Science. 1998;Cambridge University Press
6. Erwig M., Ren D. A rule-based language for programming software updates. Proceedings of the 2002 ACM SIGPLAN workshop on Rule-based programming. 2002;67-78 ACM Press
7. Fowler M. Refactoring - Improving the Design of Existing Code. 1999;Addison Wesley
8. Griswold W.G., Notkin D. Program restructuring as an aid to software maintenance. August 1990;Technical report, Seattle, WA, USA
9. Hainaut J.-L., Tonneau C., Joris M., Chandelon M. Schema Transformation Techniques for Database Reverse Engineering. Proc. of the 12th Int. Conf. on ER Approach, Arlington-Dallas. 1993;E/R Institute
10. Koorn J.W.C. Generating uniform user-interfaces for interactive programming environments. PhD thesis. 1994;University of Amsterdam
11. Kuiper M., Saraiva J. Lrc - A generator for Incremental Language-Oriented Tools. Koskimies K. Compiler Construction CC'98, volume 1383 of LNCS. April 1998;298-301 Springer-Verlag. Tool demonstration
12. Lämmel R. Reuse by Program Transformation Greg Michaelson Phil Trinder Functional Programming Trends 1999 143 152. 2000;Intellect
13. Lämmel R. Grammar Adaptation. Oliveira J.N., Zave P. Proc. Formal Methods Europe (FME) 2001, volume 2021 of LNCS. 2001;550-570 Springer-Verlag
14. Moore I. Automatic Inheritance Hierarchy Restructuring and Method Refactoring. OOPSLA '96 Conference Proceedings: Object-Oriented Programming Systems, Languages, and Applications. 1996;235-250 ACM Press
15. McBrien P., Poulovassilis A. A Formal Framework for ER Schema Transformation. Embley D.W., Goldstein R.C. Conceptual Modeling - ER '97, 16th International Conference on Conceptual Modeling. November 3-5, 1997;408-421 Los Angeles, California, USA. Proc., volume 1331 of LNCS, Springer-Verlag, 1997
16. Opdyke W.F. Refactoring Object-Oriented Frameworks. PhD thesis. 1992;University of Illinois at Urbana-Champaign
17. Partsch H.A. Specification and Transformation of Programs. 1990;Springer-Verlag
18. Pettorossi A., Proietti M. Rules and Strategies for Transforming Functional and Logic Programs. ACM Computing Surveys. 28:(2):June 1996;360-414
19. Roberts D., Brant J., Johnson R.E. A Refactoring Tool for Smalltalk. Theory and Practice of Object Systems (TAPOS). 3:(4):1997;253-263
20. Reps T.W., Teitelbaum T. The Synthesizer Generator. A System for Constructing Language-Based Editors. 1988;Springer-Verlag
21. B.A. Sufrin and O. de Moor. Modeless structure editing. In A.W. Roscoe and J.C.P Woodcock, editors, Proceedings of the Oxford-Microsoft symposium in Celebration of the work of Tony Hoare, September 1999.
22. S. Thompson and C. Reinke. Refactoring Functional Programs. Technical Report 16-01, Computing Laboratory, University of Kent at Canterbury, October 2001. Also see http://www.cs.ukc.ac.uk/people/staff/sjt/Refactor/.