Programs are abstract data types

Proceedings - 16th Annual International Conference on Automated Software Engineering, ASE 2001

Volumn , Issue , 2001, Pages 400-403

  Erwig, Martin ^a  

^a OREGON STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

PROPERTY; SYNTAX-DIRECTED EDITORS; UPDATE LANGUAGES;

ABSTRACT DATA TYPES;

EID: 0013092377     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2001.989838     Document Type: Conference Paper

References (5)

1. N. Bjørner. Type Checking Meta Programs. In Workshop on Logical Frameworks and Meta-Languages, 1999.
2. P. Borras, D. Clèment, T. Despereaux, J. Incerpi, G. Kahn, B. Lang, and V. Pascual. Centaur: The System. In 3rd ACM S1GSOFT Symp. on Software Development Environments, pages 14-24,1988.
3. T. W. Reps and T. Teitelbaum. The Synthesizer Generator: A System for Constructing Language-Based Editors. Springer-Verlag, New York, 1989.
4. 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.
5. J. Whittle, A. Bundy, and H. Lowe. An Editor for Helping Novices to Learn Standard ML. In 14th Int. Conf. on Automated Software Engineering, 1999.