Type-safe update programming

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

Volumn 2618, Issue , 2003, Pages 269-283

  Erwig, Martin ^a   Ren, Deling ^a  

^a OREGON STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DIFFERENTIATION (CALCULUS); CALCULATIONS;

CHANGE PROGRAMS; LAMBDA CALCULUS; LAMBDA TERMS; OBJECT PROGRAM; STRUCTURAL CONSTRAINTS; TYPE CORRECTNESS; TYPE SYSTEMS; UPDATE LANGUAGES; LAMBDA-CALCULUS;

CALCULATIONS; COMPUTATIONAL LINGUISTICS;

EID: 3042806127     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36575-3_19     Document Type: Article

References (15)

1. ACM. Communications of the ACM, volume 44(10), October 2001.
2. R. S. Arnold and S. A. Bohner. Impact Analysis - Towards a Framework for Comparison. In IEEE Int. Conf. on Software Maintenance, pages 292-301, 1993.
3. N. Bjørner. Type Checking Meta Programs. In Workshop on Logical Frameworks and Meta-Languages, 1999.
4. S. A. Bohner and R. S. Arnold, editors. Software Change Impact Analysis. IEEE Computer Society Press, Los Alamitos, CA, 1996.
5. 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.
6. 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.
7. M. Erwig. Programs are Abstract Data Types. In 16th IEEE Int. Conf. on Automated Software Engineering, pages 400-403, 2001.
8. M. Erwig and D. Ren. A Rule-Based Language for Programming Software Updates. In 3rd ACM SIGPLAN Workshop on Rule-Based Programming, pages 67-77, 2002.
9. M. Erwig and D. Ren. An Update Calculus for Type-Safe Program Changes. Technical Report TR02-60-09, Department of Computer Science, Oregon State University, 2002.
10. M. Fowler. Refactoring: Improving the Design of Existing Code. Addison-Wesley, Reading, MA, 1999.
11. T. W. Reps and T. Teitelbaum. The Synthesizer Generator: A System for Constructing Language-Based Editors. Springer-Verlag, New York, 1989.
12. 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.
13. W. Taha and T. Sheard. MetaML and Multi-Stage Programming with Explicit Annotations. Theoretical Computer Science, 248(1-2):211-242, 2000.
14. E. Visser. Stratego: A Language for Program Transformation Based on Rewriting Strategies. In 12th Int. Conf. on Rewriting Techniques and Applications, 2001.
15. J. Whittle, A. Bundy, R. Boulton, and H. Lowe. An ML Editor Based on Proof-as-Programs. In 9th PLILP, LNCS 1292, pages 389-405, 1997.