Formal Islands

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

Volumn 4019 LNCS, Issue , 2006, Pages 51-65

  Balland, Emilie ^a   Kirchner, Claude ^a   Moreau, Pierre Etienne ^a  

^a LORIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; EMBEDDED SYSTEMS; INVARIANCE; JAVA PROGRAMMING LANGUAGE; PATTERN MATCHING;

DOMAIN SPECIFIC LANGUAGES; FORMAL ISLANDS; INVARIANT CHECKING; SQL;

COMPUTER SCIENCE;

EID: 33746070058     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11784180_7     Document Type: Conference Paper

References (14)

1. T. Alves, P. Silva, J. Visser, and J. N. Oliveira. Strategic Term Rewriting And Its Application To A VDM-SL to SQL Conversion. In Formal Methods 2005, volume 3582 of LNCS, pages 399-414, 2005.
2. F. Baader and T. Nipkow. Term Rewriting and all That. Cambridge University Press, 1998.
3. E. Balland, C. Kirchner, and P.-E. Moreau. Formal Islands. Technical report, LORIA, 2006. available at http://hal.inria.fr/inria-00001146.
4. M. Bravenboer, R. de Groot, and E. Visser. Metaborg in action: Examples of domain-specific language embedding and assimilation using Stratego/XT. In Participants Proceedings of the Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE'05), Braga, Portugal, July 2005.
5. G. Clossman, P. Shaw, M. Hapner, J. Klein, R. Pledereder, and B. Becker. Java and relational databases (tutorial): SQLJ. In Proceedings of the ACM SIGMOD International Conference on Management of Data, page 500. ACM, 1998.
6. W.-P. de Roever and K. Engelhardt. Data Refinement: Model-Oriented Proof Methods and their Comparison. Number 47 in Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, UK, November 1998.
7. K.-G. Doh and P. D. Mosses. Composing programming languages by combining action-semantics modules. Science of Computer Programming, 47(1):3-36, 2003.
8. C. Kirchner, P.-E. Moreau, and A. Reilles. Formal validation of pattern matching code. In P. Barahona and A. Felty, editors, Proceedings of the 7th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, pages 187-197. ACM, 2005.
9. J. Melton and A. Eisenberg. Understanding SQL and Java Together: A Guide to SQLJ, JDBC, and Related Technologies. Morgan-Kaufmann, 2000.
10. M. Mernik, J. Heering, and A. M. Sloane. When and how to develop domain-specific languages. Technical report, CWI, 2003.
11. L. Moonen. Generating robust parsers using island grammars. In Proceedings of the 8th Working Conference on Reverse Engineering, pages 13-22. IEEE Computer Society Press, 2001.
12. P.-E. Moreau, C. Ringeissen, and M. Vittek. A Pattern Matching Compiler for Multiple Target Languages. In G. Hedin, editor, 12th Conference on Compiler Construction, Warsaw (Poland), volume 2622 of LNCS, pages 61-76. Springer-Verlag, 2003.
13. D. Spinellis. Notable design patterns for domain-specific languages. Journal of Systems and Software, 56(1):91-99, 2001.
14. A. van Deursen, P. Klint, and J. Visser. Domain-specific languages: An annotated bibliography. SIGPLAN Notices, 35(6):26-36, 2000.