Silver: An extensible attribute grammar system

Science of Computer Programming

Volumn 75, Issue 1-2, 2010, Pages 39-54

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

^a University of Minnesota   (United States)

Author keywords

Attribute grammars; Extensible compilers; Extensible languages; Forwarding; Silver attribute grammar system

Indexed keywords

ATTRIBUTE GRAMMARS; DOMAIN SPECIFIC; DOMAIN SPECIFIC LANGUAGES; EXTENSIBLE LANGUAGES; GENERAL PURPOSE; GENERAL PURPOSE LANGUAGES; IMPERATIVE PROGRAMS; LANGUAGE FEATURES;

DATA FLOW ANALYSIS; LINGUISTICS; PATTERN MATCHING; PROBLEM ORIENTED LANGUAGES; PROGRAM COMPILERS; QUERY LANGUAGES; SILVER; SPECIFICATION LANGUAGES; SPECIFICATIONS; XML;

CONTEXT SENSITIVE GRAMMARS;

EID: 70450237104     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2009.07.004     Document Type: Article

References (51)

1. S.R. Adams, Modular grammars for programming language prototyping, PhD thesis, University of Southampton, Department of Elec. and Comp. Sci., UK, 1993
2. A. Baars, D. Swierstra, A. Loh, Utrecht University AG system manual. http://www.cs.uu.nl/wiki/HUT/AttributeGrammarSystem
3. J. Baker, W. Hsieh, Maya: Multiple-dispatch syntax extension in Java, in: Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI, ACM, June 2002, pp. 270-281
4. D. Batory, D. Lofaso, Y. Smaragdakis, JTS: Tools for implementing domain-specific languages, in: Proceedings Fifth International Conference on Software Reuse, IEEE, 2-5 1998, pp. 143-53
5. Boyland J. Remote attribute grammars. Journal of ACM 52 4 (2005) 627-687
6. M. Bravenboer, E. Visser, Concrete syntax for objects: Domain-specific language embedding and assimilation without restrictions, in: Proc. of OOPSLA '04 Conf., 2004, pp. 365-383
7. T.E. Cheatham, The introduction of definitional facilities into higher level programming languages, in: AFIPS (Fall Joint Computer Conference, 29), 1966, pp. 623-637
8. A. Cimatti, E.M. Clarke, F. Giunchiglia, M. Roveri, NuSMV: A new symbolic model verifier, in: Proc. Computer Aided Verification, 1999, pp. 495-499
9. W. Clinger, Macros that work, in: Proceedings of the 18th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM Press, 1991, pp. 155-162
10. Cooper K., and Torczon L. Engineering a Compiler (2004), Morgan Kaufmann
11. van Deursen A., Klint P., and Visser J. Domain-specific languages: An annotated bibliography. ACM SIGPLAN Notices 35 6 (2000) 26-36
12. A.D. Eisenberg, G. Kiczales, Expressive programs through presentation extension, in: AOSD'07: Proc. of the 6th Intl. Conf. on Aspect-oriented Software Development, 2007, pp. 73-84
13. T. Ekman, Extensible compiler construction, PhD Thesis, Lund University, Lund, Sweden, 2006
14. Ekman T., and Hedin G. Rewritable reference attributed grammars. Euro. Conf. on Object-Oriented Prog., ECOOP'04. LNCS vol. 3086 (2004) 144-169
15. T. Ekman, G Hedin, The JastAdd extensible Java compiler, in: Proc. Conf. on Object Oriented Programming Systems and Applications, OOPSLA, ACM, 2007, pp. 1-18
16. Farrow R. Automatic generation of fixed-point-finding evaluators for circular, but well-defined, attribute grammars. ACM SIGPLAN Notices 21 7 (1986)
17. R. Farrow, T.J. Marlowe, D.M. Yellin, Composable attribute grammars, in: 19th ACM Symp. on Prin. of Programming Languages, POPL, 1992, pp. 223-234
18. B. Ford, Parsing expression grammars: A recognition-based syntactic foundation, in: Proc. of Symp. on Principles of Programming Languages, POPL, ACM, 2004, pp. 111-122
19. Ganzinger H. Increasing modularity and language-independency in automatically generated compilers. Science of Computer Programing 3 3 (1983) 223-278
20. Ganzinger H., and Giegerich R. Attribute coupled grammars. SIGPLAN Notices 19 (1984) 157-170
21. Gao J., Heimdahl M., and VanWyk E. Flexible and extensible notations for modeling languages. Fundamental Approaches to Software Engineering, FASE 2007. LNCS vol. 4422 (2007), Springer-Verlag 102-116
22. Gray R., Levi S., Heuring V., Sloane A., and Waite W. Eli: A complete, flexible compiler construction system. Communications of the ACM 35 2 (1992) 121-130
23. R. Grimm, Better extensibility through modular syntax, in: PLDI '06: Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation, New York, NY, USA, 2006. ACM Press, pp. 38-51
24. G. Hedin, An object-oriented notation for attribute grammars, in: Proceedings of the European Conference on Object-Oriented Programming, ECOOP'89, Cambridge University Press, 1989
25. Hudak P. Building domain-specific embedded languages. ACM Computing Surveys 28 4es (1996)
26. S.C Johnson, Yacc - Yet another compiler compiler. Technical Report 32, Bell Laboratories, July 1975
27. Kastens U., and Waite W.M. Modularity and reusability in attribute grammars. Acta Informatica 31 (1994) 601-627
28. Knuth D.E. Semantics of context-free languages. Mathematical Systems Theory 2 2 (1968) 127-145 5(1971), pp. 95-96 (Corrections)
29. E. Kohlbecker, D. Friedman, M. Felleisen, B. Duba, Hygienic macro expansion, in: Proceedings of the 1986 ACM Conference on LISP and Functional Programming, ACM Press, 1986, pp. 151-161
30. Kuiper M., and Saraiva J. LRC - A generator for incremental language-oriented tools. 7th International Conference on Compiler Construction. LNCS vol. 1383 (1998), Springer-Verlag 298-301
31. Lacey D., and deMoor O. Imperative program transformation by rewriting. Proc. 10th Intl. Conf. on Compiler Construction. LNCS vol. 2027 (2001), Springer-Verlag 52-68
32. D. Lacey, N.D. Jones, E. Van Wyk, C.C. Frederiksen, Proving correctness of compiler optimizations by temporal logic, in: Proc. 29th ACM Symposium on Principles of Programming Languages, POPL, Association of Computing Machinery, 2002, pp. 283-294
33. Leavenworth B.M. Syntax macros and extended translations. Communications of the ACM 9 11 (1966) 790-793
34. Leijen D., and Meijer E. Domain specific embedded compilers. Papers of the 2nd USENIX Conference on Domain Specific Languages, 1999. ACM Sigplan Notices 35 1 (2000)
35. E. Magnusson, Object-oriented declarative program analysis, PhD thesis, Lund University, Department of Computer Science, Lund, Sweden, 2007
36. Mernik M., Lenic M., Avdicausevic E., and Zumer V. Multiple attribute grammar inheritance. Informatica 24 3 (2000) 319-328
37. Mernik M., Heering J., and Sloane A. When and how to develop domain-specific languages. ACM Computing Surveys 37 4 (2005) 316-344
38. J. Saraiva, D. Swierstra, Generic Attribute Grammars, in: 2nd Workshop on Attribute Grammars and their Applications, 1999, pp. 185-204
39. D. Schmidt, Data flow analysis is model checking of abstract interpretations, in: ACM POPL Symp., New York, NY, USA, ACM Press, 1998, pp. 38-48
40. A. Schwerdfeger, E. Van Wyk, Verifiable composition of deterministic grammars, in: Proc. of ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI, ACM, June 2009
41. Simonyi C., Christerson M., and Clifford S. Intentional software. SIGPLAN Notices 41 10 (2006) 451-464
42. Steffen B. Data flow analysis as model checking. In: Meyer A.R., and Ito T. (Eds). Theoretical Aspects of Computer Science (TACS'91). LNCS vol. 526 (1991), Springer-Verlag 346-364
43. M.G.J. van den Brand, A. van Deursen, P. Klint, S. Klusener, E.A. van der Meulen, Industrial applications of ASF +SDF, in: Algebraic Methodology and Software Technology (AMAST'96), Springer-Verlag, 1996, pp. 9-18
44. E. Van Wyk, D. Bodin, P. Huntington, Adding syntax and static analysis to libraries via extensible compilers and language extensions, in: Proc. of LCSD 2006, Library-Centric Software Design, 2006
45. VanWyk E., deMoor O., Backhouse K., and Kwiatkowski P. Forwarding in attribute grammars for modular language design. Proc. 11th Intl. Conf. on Compiler Construction. LNCS vol. 2304 (2002) 128-142
46. E. Van Wyk, L. Krishnan, Using verified data-flow analysis-based optimizations in attribute grammars, in: Proc. Intl. Workshop on Compiler Optimization Meets Compiler Verification, COCV, April 2006
47. VanWyk E., Krishnan L., Schwerdfeger A., and Bodin D. Attribute grammar-based language extensions for Java. European Conf. on Object Oriented Programming, ECOOP. LNCS vol. 4609 (2007), Springer-Verlag 575-599
48. E. Van Wyk, A. Schwerdfeger, Context-aware scanning for parsing extensible languages, in: Intl. Conf. on Generative Programming and Component Engineering, GPCE, ACM Press, October 2007
49. Visser E. Program transformation with Stratego/XT: Rules, strategies, tools, and systems in StrategoXT-0.9. In: Lengauer C., et al. (Ed). Domain-Specific Program Generation. LNCS vol. 3016 (2004), Springer-Verlag 216-238
50. H. Vogt, S.D. Swierstra, M.F. Kuiper, Higher-order attribute grammars, in: ACM Conf. on Programming Language Design and Implementation, PLDI, 1990, pp. 131-145
51. Weise D., and Crew R. Programmable syntax macros. ACM SIGPLAN Notices 28 6 (1993)