A rule-based language for programming software updates

Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming

Volumn , Issue , 2002, Pages 67-77

  Erwig, Martin ^a   Ren, Deling ^a  

^a NONE

Author keywords

Type change; Type correctness; Update program; Update safey

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; ERROR CORRECTION; FILE EDITORS; SOFTWARE ENGINEERING;

RULE BASED LANGUAGES;

LOGIC PROGRAMMING;

EID: 0036980156     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/570186.570193     Document Type: Conference Paper

References (28)

1. ACM. Communications of the ACM, volume 44(10), October 2001.
2. N. Bjørner. Type Checking Meta Programs. In Workshop on Logical Frameworks and Meta-Languages, 1999.
3. B. Borovanský, C. Kirchner, H. Kirchner, P. E. Moreau, and C. Ringeissen. Rewriting with Strategies in ELAN: a Functional Semantics. Int. Journal of Foundations of Computer Science, 2001. To appear.
4. B. Borovanský, C. Kirchner, H. Kirchner, P. E. Moreau, and M. Vittek. ELAN: A Logical Framework Based on Computational Systems. In Workshop on Rewriting Logic and Applications, 1996.
5. P. Borras, D. Clèment, T. Despereaux, J. Incerpi, G. Kahn, B. Lang, and V. Pascual. Centaur: The System. In 3rd ACM SIGSOFT Symp. on Software Development Environments, pages 14-24, 1988.
6. J. R. Cordy, C. D. Halpern-Hamu, and E. Promislow. TXL: A Rapid Prototyping System for Programming Language Dialects. Computer Languages, 16(1):97-107, 1991.
7. M. Erwig. Programs are Abstract Data Types. In 16th IEEE Int. Conf. on Automated Software Engineering, pages 400-403, 2001.
8. M. Erwig. Update your Program? Program Your Update! Technical Report TR02-60-01, Department of Computer Science, Oregon State University, 2002. http://www.cs.orst.edu/̃erwig/papers/up.pdf.
9. M. Erwig and D. Ren. An Update Calculus for Type-Safe Program Changes. 2002. submitted for publication, http://www.cs.orst.edu/̃erwig/papers/uc.pdf.
10. M. Fowler. Refactoring: Improving the Design of Existing Code. Addison-Wesley, Reading, MA, 1999.
11. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold. Getting Started with AspectJ. Communications of the ACM, 44(10):59-65, 2001.
12. R. Lämmel and J. Visser. Typed Combinators for Generic Traversal. In 4th Symp. on Practical Aspects of Declarative Languages, LNCS 2257, pages 137-154, 2002.
13. D. Miller. Abstract Syntax for Variable Binders: An Overview. In Computational Logic, LNAI 1861, pages 239-253, 2000.
14. R. Milner, M. Tofte, R. Harper, and D. MacQueen. The Definition of Standard ML (Revised). MIT Press, Cambridge, MA, 1997.
15. S. L. Peyton Jones, J. Hughes, et al. Report on the Programming Language Haskell 98, 1999. http://haskell.org/onlinereport.
16. F. Pfenning. Logical Frameworks. In A. Robinson and A. Voronkov, editors, Handbook of Automated Reasoning, chapter 21. Elsevier Science Publishers, Amsterdam, NL, 2001.
17. F. Pfenning and C. Elliott. Higher-Order Abstract Syntax. In ACM Conf. on Programming Languages Design and Implementation, pages 199-208, 1988.
18. T. W. Reps and T. Teitelbaum. The Synthesizer Generator: A System for Constructing Language-Based Editors. Springer-Verlag, New York, 1989.
19. D. Roberts and J. Brant. Refactoring Tools. In M. Fowler, editor, Refactoring: Improving the Design of Existing Code, chapter 14, pages 309-352. Addison-Wesley, Reading, MA, 1999.
20. T. Sheard. Accomplishments and Research Challenges in Meta-Programming. In 2nd Int. Workshop on Semantics, Applications, and Implementation of Program Generation, LNCS 2196, pages 2-44, 2001.
21. W. Taha and T. Sheard. MetaML and Multi-Stage Programming with Explicit Annotations. Theoretical Computer Science, 248(1-2):211-242, 2000.
22. C. Verhoef. Towards Automated Modification of Legacy Assets. Annals of Software Engineering, 9:315-336, 2000.
23. E. Visser. Strategic Pattern Matching. In 10th Int. Conf. on Rewriting Techniques and Applications, LNCS 1631, pages 30-44, 1999.
24. E. Visser. Language Independent Traversals for Program Transformation. In Workshop on Generic Programming, 2000. Technical Report UU-CS-2000-19, Universiteit Utrecht.
25. E. Visser. Stratego: A Language for Program Transformation Based on Rewriting Strategies. In 12th Int. Conf. on Rewriting Techniques and Applications, LNCS 2051, 2001.
26. E. Visser, Z. Benaissa, and A. Tolmach. Building Program Optimizers with Rewriting Strategies. In 3rd ACM Int. Conf. on Functional Programming, pages 13-26, 1998.
27. E. Visser, et al. The Online Survey of Program Transformation. http://www.program-transformation.org/survey.html.
28. J. Whittle, A. Bundy, R. Boulton, and H. Lowe. An ML Editor Based on Proof-as-Programs. In 9th Int. Symp. on Programming Language Implementation and Logic Programming, LNCS 1292, pages 389-405, 1997.