{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:26:52Z","timestamp":1725470812430},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540356332"},{"type":"electronic","value":"9783540356363"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11784180_7","type":"book-chapter","created":{"date-parts":[[2006,9,26]],"date-time":"2006-09-26T10:12:21Z","timestamp":1159265541000},"page":"51-65","source":"Crossref","is-referenced-by-count":5,"title":["Formal Islands"],"prefix":"10.1007","author":[{"given":"Emilie","family":"Balland","sequence":"first","affiliation":[]},{"given":"Claude","family":"Kirchner","sequence":"additional","affiliation":[]},{"given":"Pierre-Etienne","family":"Moreau","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/11526841_27","volume-title":"FM 2005: Formal Methods","author":"T. Alves","year":"2005","unstructured":"Alves, T., Silva, P., Visser, J., Oliveira, J.N.: Strategic Term Rewriting And Its Application To A VDM-SL to SQL Conversion. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol.\u00a03582, pp. 399\u2013414. Springer, Heidelberg (2005)"},{"key":"7_CR2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139172752","volume-title":"Term Rewriting and all That","author":"F. Baader","year":"1998","unstructured":"Baader, F., Nipkow, T.: Term Rewriting and all That. Cambridge University Press, Cambridge (1998)"},{"key":"7_CR3","unstructured":"Balland, E., Kirchner, C., Moreau, P.-E.: Formal Islands. Technical report, LORIA (2006), available at http:\/\/hal.inria.fr\/inria-00001146"},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11877028_10","volume-title":"Generative and Transformational Techniques in Software Engineering","author":"M. Bravenboer","year":"2006","unstructured":"Bravenboer, M., de Groot, R., Visser, E.: Metaborg in action: Examples of domain-specific language embedding and assimilation using Stratego\/XT. In: L\u00e4mmel, R., Saraiva, J., Visser, J. (eds.) GTTSE 2005. LNCS, vol.\u00a04143, Springer, Heidelberg (2006)"},{"key":"7_CR5","first-page":"500","volume-title":"Proceedings of the ACM SIGMOD International Conference on Management of Data","author":"G. Clossman","year":"1998","unstructured":"Clossman, G., Shaw, P., Hapner, M., Klein, J., Pledereder, R., Becker, B.: Java and relational databases (tutorial): SQLJ. In: Proceedings of the ACM SIGMOD International Conference on Management of Data, p. 500. ACM Press, New York (1998)"},{"key":"7_CR6","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511663079","volume-title":"Data Refinement: Model-Oriented Proof Methods and their Comparison","author":"W.-P. Roever de","year":"1998","unstructured":"de Roever, W.-P., Engelhardt, K.: Data Refinement: Model-Oriented Proof Methods and their Comparison. Cambridge Tracts in Theoretical Computer Science, vol.\u00a047. Cambridge University Press, Cambridge (1998)"},{"issue":"1","key":"7_CR7","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0167-6423(02)00107-7","volume":"47","author":"K.-G. Doh","year":"2003","unstructured":"Doh, K.-G., Mosses, P.D.: Composing programming languages by combining action-semantics modules. Science of Computer Programming\u00a047(1), 3\u201336 (2003)","journal-title":"Science of Computer Programming"},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1145\/1069774.1069792","volume-title":"Proceedings of the 7th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming","author":"C. Kirchner","year":"2005","unstructured":"Kirchner, C., Moreau, P.-E., Reilles, A.: Formal validation of pattern matching code. In: Barahona, P., Felty, A. (eds.) Proceedings of the 7th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, pp. 187\u2013197. ACM Press, New York (2005)"},{"key":"7_CR9","volume-title":"Understanding SQL and Java Together: A Guide to SQLJ, JDBC, and Related Technologies","author":"J. Melton","year":"2000","unstructured":"Melton, J., Eisenberg, A.: Understanding SQL and Java Together: A Guide to SQLJ, JDBC, and Related Technologies. Morgan Kaufmann, San Francisco (2000)"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Mernik, M., Heering, J., Sloane, A.M.: When and how to develop domain-specific languages. Technical report, CWI (2003)","DOI":"10.1109\/HICSS.2003.1174888"},{"key":"7_CR11","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1109\/WCRE.2001.957806","volume-title":"Proceedings of the 8th Working Conference on Reverse Engineering","author":"L. Moonen","year":"2001","unstructured":"Moonen, L.: Generating robust parsers using island grammars. In: Proceedings of the 8th Working Conference on Reverse Engineering, pp. 13\u201322. IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/3-540-36579-6_5","volume-title":"Compiler Construction","author":"P.-E. Moreau","year":"2003","unstructured":"Moreau, P.-E., Ringeissen, C., Vittek, M.: A Pattern Matching Compiler for Multiple Target Languages. In: Hedin, G. (ed.) CC 2003 and ETAPS 2003. LNCS, vol.\u00a02622, pp. 61\u201376. Springer, Heidelberg (2003)"},{"issue":"1","key":"7_CR13","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/S0164-1212(00)00089-3","volume":"56","author":"D. Spinellis","year":"2001","unstructured":"Spinellis, D.: Notable design patterns for domain-specific languages. Journal of Systems and Software\u00a056(1), 91\u201399 (2001)","journal-title":"Journal of Systems and Software"},{"issue":"6","key":"7_CR14","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/352029.352035","volume":"35","author":"A. Deursen van","year":"2000","unstructured":"van Deursen, A., Klint, P., Visser, J.: Domain-specific languages: An annotated bibliography. SIGPLAN Notices\u00a035(6), 26\u201336 (2000)","journal-title":"SIGPLAN Notices"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11784180_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:08:03Z","timestamp":1605625683000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11784180_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540356332","9783540356363"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11784180_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}