{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T05:01:35Z","timestamp":1725858095583},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319420639"},{"type":"electronic","value":"9783319420646"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-42064-6_2","type":"book-chapter","created":{"date-parts":[[2016,6,23]],"date-time":"2016-06-23T10:03:01Z","timestamp":1466676181000},"page":"19-35","source":"Crossref","is-referenced-by-count":3,"title":["Model Transformation with Immutable Data"],"prefix":"10.1007","author":[{"given":"Paul","family":"Klint","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tijs","family":"van der Storm","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,6,22]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Chlipala, A.: Parametric higher-order abstract syntax for mechanized semantics. In: ICFP 2008, pp. 143\u2013156 (2008)","DOI":"10.1145\/1411204.1411226"},{"key":"2_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/3-540-46674-6_7","volume-title":"Advances in Computing Science - ASIAN\u201999","author":"K Claessen","year":"1999","unstructured":"Claessen, K., Sands, D.: Observable sharing for functional circuit description. In: Thiagarajan, P.S., Yap, R.H.C. (eds.) ASIAN 1999. LNCS, vol. 1742, pp. 62\u201373. Springer, Heidelberg (1999)"},{"issue":"3","key":"2_CR3","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1147\/sj.453.0621","volume":"45","author":"K Czarnecki","year":"2006","unstructured":"Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Syst. J. 45(3), 621\u2013646 (2006)","journal-title":"IBM Syst. J."},{"issue":"05","key":"2_CR4","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1017\/S0956796801004075","volume":"11","author":"M Erwig","year":"2001","unstructured":"Erwig, M.: Inductive graphs and functional graph algorithms. J. Funct. Program. 11(05), 467\u2013492 (2001)","journal-title":"J. Funct. Program."},{"key":"2_CR5","volume-title":"Domain Specific Languages","author":"M Fowler","year":"2010","unstructured":"Fowler, M.: Domain Specific Languages, 1st edn. Addison-Wesley Professional, Boston (2010)","edition":"1"},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"160","DOI":"10.1007\/978-3-642-30476-7_11","volume-title":"Theory and Practice of Model Transformations","author":"L George","year":"2012","unstructured":"George, L., Wider, A., Scheidgen, M.: Type-safe model transformation languages as internal DSLs in scala. In: Hu, Z., de Lara, J. (eds.) ICMT 2012. LNCS, vol. 7307, pp. 160\u2013175. Springer, Heidelberg (2012)"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Gill, A.: Type-safe observable sharing in Haskell. In: Haskell 2009, pp. 117\u2013128. ACM (2009)","DOI":"10.1145\/1596638.1596653"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/978-3-540-69100-6_12","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"T Goldschmidt","year":"2008","unstructured":"Goldschmidt, T., Becker, S., Uhl, A.: Classification of concrete textual syntax mapping approaches. In: Schieferdecker, I., Hartman, A. (eds.) ECMDA-FA 2008. LNCS, vol. 5095, pp. 169\u2013184. Springer, Heidelberg (2008)"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Horn, T.: Model querying with FunnyQT - (extended abstract). In: ICMT 2013, pp. 56\u201357 (2013)","DOI":"10.1007\/978-3-642-38883-5_7"},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1007\/978-3-319-08789-4_12","volume-title":"Theory and Practice of Model Transformations","author":"P Inostroza","year":"2014","unstructured":"Inostroza, P., van der Storm, T., Erdweg, S.: Tracing program transformations with string origins. In: Di Ruscio, D., Varr\u00f3, D. (eds.) ICMT 2014. LNCS, vol. 8568, pp. 154\u2013169. Springer, Heidelberg (2014)"},{"issue":"1","key":"2_CR11","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/j.scico.2007.08.002","volume":"72","author":"F Jouault","year":"2008","unstructured":"Jouault, F., Allilaire, F., B\u00e9zivin, J., Kurtev, I.: ATL: a model transformation tool. Sci. Comput. Program. 72(1), 31\u201339 (2008)","journal-title":"Sci. Comput. Program."},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/11768869_14","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"F Jouault","year":"2006","unstructured":"Jouault, F., B\u00e9zivin, J.: KM3: a DSL for metamodel specification. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol. 4037, pp. 171\u2013185. Springer, Heidelberg (2006)"},{"issue":"3","key":"2_CR13","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1145\/1072997.1073000","volume":"14","author":"P Klint","year":"2005","unstructured":"Klint, P., L\u00e4mmel, R., Verhoef, C.: Toward an engineering discipline for grammarware. ACM Trans. Softw. Eng. Methodol. 14(3), 331\u2013380 (2005)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"2_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1007\/978-3-642-18023-1_6","volume-title":"Generative and Transformational Techniques in Software Engineering III","author":"P Klint","year":"2011","unstructured":"Klint, P., van der Storm, T., Vinju, J.: EASY meta-programming with Rascal. In: Fernandes, J.M., L\u00e4mmel, R., Visser, J., Saraiva, J. (eds.) Generative and Transformational Techniques in Software Engineering III. LNCS, vol. 6491, pp. 222\u2013289. Springer, Heidelberg (2011)"},{"key":"2_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1007\/978-3-540-69927-9_4","volume-title":"Theory and Practice of Model Transformations","author":"DS Kolovos","year":"2008","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.A.C.: The Epsilon transformation language. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol. 5063, pp. 46\u201360. Springer, Heidelberg (2008)"},{"key":"2_CR16","unstructured":"Mayerhofer, T., Wimmer, M.: The TTC 2015 model execution case. In: TTC 2015, pp. 2\u201318 (2015)"},{"key":"2_CR17","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/j.entcs.2005.10.021","volume":"152","author":"T Mens","year":"2006","unstructured":"Mens, T., Van Gorp, P.: A taxonomy of model transformation. Electron. Notes Theor. Comput. Sci. 152, 125\u2013142 (2006)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"9","key":"2_CR18","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1145\/2364527.2364541","volume":"47","author":"BC Oliveira","year":"2012","unstructured":"Oliveira, B.C., Cook, W.R.: Functional programming with structured graphs. ICFP 47(9), 77\u201388 (2012)","journal-title":"ICFP"},{"key":"2_CR19","unstructured":"Rose, L.M., Horn, T., Krikava, F. (eds.): TTC 2015, CEUR Workshop Proceedings, vol. 1524. CEUR-WS.org (2015)"},{"key":"2_CR20","volume-title":"EMF: Eclipse Modeling Framework","author":"D Steinberg","year":"2008","unstructured":"Steinberg, D., Budinsky, F., Merks, E., Paternostro, M.: EMF: Eclipse Modeling Framework. Pearson Education, Upper Saddle River (2008)"},{"key":"2_CR21","unstructured":"Terese. Term Rewriting Systems. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press (2003)"},{"issue":"P4","key":"2_CR22","doi-asserted-by":"crossref","first-page":"460","DOI":"10.1016\/j.scico.2014.02.023","volume":"96","author":"T Storm van der","year":"2014","unstructured":"van der Storm, T., Cook, W.R., Loh, A.: The design and implementation of object grammars. Sci. Comput. Program. 96(P4), 460\u2013487 (2014)","journal-title":"Sci. Comput. Program."},{"issue":"5","key":"2_CR23","doi-asserted-by":"crossref","first-page":"523","DOI":"10.1016\/S0747-7171(06)80004-0","volume":"15","author":"A Deursen Van","year":"1993","unstructured":"Van Deursen, A., Klint, P., Tip, F.: Origin tracking. J. Symbol. Comput. 15(5), 523\u2013545 (1993)","journal-title":"J. Symbol. Comput."}],"container-title":["Lecture Notes in Computer Science","Theory and Practice of Model Transformations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-42064-6_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,10]],"date-time":"2019-09-10T02:45:39Z","timestamp":1568083539000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-42064-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319420639","9783319420646"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-42064-6_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}