Silver: an Extensible Attribute Grammar System

Electronic Notes in Theoretical Computer Science

Volumn 203, Issue 2, 2008, Pages 103-116

  Van Wyk, Eric ^a   Bodin, Derek ^a   Gao, Jimin ^a   Krishnan, Lijesh ^a  

^a University of Minnesota   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; DATA REDUCTION; FEATURE EXTRACTION; FORMAL LANGUAGES; PATTERN MATCHING;

ATTRIBUTE GRAMMAR SPECIFICATION LANGUAGES; DOMAIN SPECIFIC LANGUAGES; EXTENSIBLE ATTRIBUTE GRAMMAR SYSTEMS; GENERAL PURPOSE LANGUAGES;

COMPUTATIONAL GRAMMARS;

EID: 41349111686     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2008.03.047     Document Type: Article

References (19)

1. Batory, D., D. Lofaso and Y. Smaragdakis, JTS: tools for implementing domain-specific languages, in: Proc. 5th Intl. Conf. on Software Reuse (1998)
2. Boyland J.T. Remote attribute grammars. J. ACM 52 (2005) 627-687
3. Bravenboer, M. and E. Visser, Concrete syntax for objects: domain-specific language embedding and assimilation without restrictions, in: Proc. of OOPSLA '04 Conf., 2004, pp. 365-383
4. Cooper K., and Torczon L. Engineering a Compiler (2004), Morgan Kaufmann
5. Deursen A.v., Klint P., and Visser J. Domain-specific languages: An annotated bibliography. ACM SIGPLAN Notices 35 (2000) 26-36
6. Ekman, T., "Extensible Compiler Construction," Ph.D. thesis, Lund University, Lund, Sweden (2006)
7. Ekman T., and Hedin G. Rewritable reference attributed grammars. Euro. Conf. on Object-Oriented Prog. ECOOP'04. LNCS 3086 (2004) 144-169
8. Gao J., Heimdahl M., and Van Wyk E. Flexible and extensible notations for modeling languages. Fundamental Approaches to Software Engineering. FASE 2007. LNCS 4422 (2007) 102-116
9. Gray R.W., Levi S.P., Heuring V.P., Sloane A.M., and Waite W.M. Eli: a complete, flexible compiler construction system. CACM 35 (1992) 121-130
10. Knuth D.E. Semantics of context-free languages. Mathematical Systems Theory 2 (1968) 127-145 corrections in
11. Knuth D.E. Semantics of context-free languages. Mathematical Systems Theory 5 (1971) 95-96
12. Kuiper M., and Saraiva J. LRC - a generator for incremental language-oriented tools. 7th International Conference on Compiler Construction. LNCS 1383 (1998) 298-301
13. van den Brand, M., A. van Deursen, P. Klint, S. Klusener and E. van der Meulen, Industrial applications of ASF+SDF, in: Algebraic Methodology and Software Technology (AMAST'96) (1996), pp. 9-18
14. Van Wyk, E., D. Bodin and P. Huntington, Adding syntax and static analysis to libraries via extensible compilers and language extensions, in: Proc. it of LCSD 2006, Library-Centric Software Design, 2006
15. Van Wyk E., de Moor O., Backhouse K., and Kwiatkowski P. Forwarding in attribute grammars for modular language design. Proc. 11th Intl. Conf. on Compiler Construction. LNCS 2304 (2002) 128-142
16. Van Wyk, E. and L. Krishnan, Using verified data-flow analysis-based optimizations in attribute grammars, in: Proc. Intl. Workshop on Compiler Optimization Meets Compiler Verification (COCV), 2006
17. Van Wyk, E., L. Krishnan, A. Schwerdfeger and D. Bodin, Attribute grammar-based language extensions for Java, in: European Conference on Object Oriented Programming (ECOOP), LNCS, 2007. To appear
18. Vogt, H., S.D. Swierstra and M.F. Kuiper, Higher-order attribute grammars, in: ACM PLDI Conf., 1990, pp. 131-145
19. Weise D., and Crew R. Programmable syntax macros. ACM SIGPLAN Notices 28 (1993)