| Reference: | [1] A. van Deursen, P. Klint, and J. Visser, "Domain-specific languages: an annotated bibliography," SIGPLAN Not., vol35, no 6, pp. 26-36, 2000.
[2] O. M. G. Inc., "Omg model driven architecture." http://www.omg.org/mda/, 2011.
[3] E. Foundation, "Eclipse.". http://www.eclipse.org/, 2012.
[4] D. Wright, and C. Windatt, "Debug platform: The basics." http://www.eclipse.org/eclipse/debug/documents/ec_2008/Debug_Tutorial_Basic_2008.ppt, 2008.
[5] F. N. Hanne Riis Nielson, Semantics with Applications: An Appetizer. Springer, 2007.
[6] G. Winskel, The Formal Semantics of Programming Languages. MIT Press, 1993.
[7] G. D. Plotkin, "A structural approach to operational semantics," J. Log. Algebr. Program, vol. 60-61, pp. 17-139, 2004.
[8] G. Kahn, "Natural semantics," in STACS (F.-J. Brandenburg, G. Vidal-Naquet, and M. Wirsing, eds.), vol. 247 of Lecture Notes in Computer Science, pp. 22-39, Springer, 1987.
[9] R. S. Alfred V. Aho and J. D. Ullman, Compilers: principles, techniques, and tools. Addison-Wesley Longman Publishing Co., Inc., 2nd ed., 2006.
[10] "The lex & yacc page." http://dinosaur.compilertools.net/.
[11] "Relational meta-language and tools." http://www.ida.liu.se/~pelab/rml/, 2008.
[12] "k-framework." http://code.google.com/p/k-framework/, 2011.
[13] "Asf+sdf." http://www.meta-environment.org/Meta-Environment/ASF%2bSDF, 2010.
[14] "Stratego/xt." http://strategoxt.org/, 2011.
[15] "The txl programming language." http://www.txl.ca/, 2011.
[16] D. Prawitz, Natural Deduction: A Proof-Theoretical Study. Dover Publications, 2006.
[17] T. Despeyroux, "Typol: A formalism to implement natural semantics," research report, INRIA Sophia-Antipolis, 1988.
[18] M. Pettersson, Compiling Natural Semantics, vol. 1549 of Lecture Notes in Computer Science. Springer, 1999.
[19] A. Blewitt, "Getting started with eclipse plug-ins: understanding extension points." http://www.eclipsezone.com/
[20] "Eclipse java development tools." http://www.eclipse.org/jdt/, 2012.
[21] "Plug-in development environment." http://www.eclipse.org/, 2012.
[22] T.E. Foundation, "Xtext." http://www.eclipse.org/Xtext/, 2011.
[23] "Eclipse modeling framework project." http://eclipse.org/modeling/emf/, 2012.
[24] T. Parr, "Antlr parser generator." http://www.antlr.org/, 2012.
[25] T. E. Foundation, "Xtend." http://www.eclipse.org/Xtext/xtend/, 2011.
[26] "Dsl debugging framework." http://students.cis.uab.edu/wuh/DDF/index.html, 2008.
[27] "Eprovide." http://eprovide.sourceforge.net/, 2008.
[28] "Spoofax." http://strategoxt.org/Spoofax, 2011.
[29] R. T. Lindeman, L. C. L. Kats, and E. Visser, "Declaratively defining domain-specific language debuggers." in Generative Programming and Component Engineering, 7th International Conference, GPCE 2011, Proceedings (E. Denney and U. P. Schultz, eds.), ACM, 2011.
[30] M. Fowler, "Domain specific language." http://www.martinfowler.com/bliki/DomainSpecificLanguage.html, 2009.
[31] H. Wu, J. Gray, and M. Mernik, "Grammar-driven generation of domain-specific language debuggers," Software : Practice and Experience, vol.38, pp. 1073-1103, 2008.
[32] D. A. Sadilek and G. Wachsmuth, "Prototyping visual interpreters and debuggers for domain-specific modelling languages," in Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications, ECMDA-FA `08, (Berlin, Heidelberg), pp. 63-78, Springer-Verlag, 2008.
[33] J. F. Andreas Blunk and D. A. Sadilek, "Modelling a debugger for an imperative voice controllanguage," in Proceedings of the 14th international SDL conference on Design for motes and mobiles, SDL`09, (Berlin, Heidelberg), pp. 149-164, Springer-Verlag, 2009.
[34] J. Heering, R. H. Hendriks, P. Klint, and J. Rekers, "The syntax definition formalism sdf," SIGPLAN Not. 24, pp. 43-75, November 1989.
[35] H. Wu, J. Gray, S. Roychoudhury and M. Mernik, "Weaving a debugging aspect into domain-specific language grammars," in Proceedings of the 2005 ACM symposium on Applied computing, SAC `05, pp. 1370-1374, ACM, 2005.
[36] G. Kiczales, J. Lamping, and etc. "Aspect-oriented programming," in European Conference on Object-Oriented Programming(ECOOP), pp. 220-242, June 1997.
[37] M. T. Robin Milner and R. Harper, The Definition of Standard ML. The MIT Press, 1997.
[38] T. E. Foundation, "We have lift-off: The launching framework in eclipse," http://www.eclipse.org/articles/
[39] D. Wright and B. Freeman-Benson, "How to write an eclipse debugger," http://www.eclipse.org/articles/
[40] M. Odersky, "The scala programming language." http://www.scala-lang.org/, 2012. |
