{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:55:52Z","timestamp":1725566152016},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642159275"},{"type":"electronic","value":"9783642159282"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15928-2_36","type":"book-chapter","created":{"date-parts":[[2010,9,20]],"date-time":"2010-09-20T14:32:34Z","timestamp":1284993154000},"page":"413-415","source":"Crossref","is-referenced-by-count":1,"title":["Static Type Checking of Model Transformation Programs"],"prefix":"10.1007","author":[{"given":"Zolt\u00e1n","family":"Ujhelyi","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"36_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1007\/978-3-642-03741-2_24","volume-title":"Algebra and Coalgebra in Computer Science","author":"P. Baldan","year":"2009","unstructured":"Baldan, P., Corradini, A., Heindel, T., Knig, B., Sobociski, P.: Unfolding Grammars in Adhesive Categories. In: Kurz, A., Lenisa, M., Tarlecki, A. (eds.) CALCO 2009. LNCS, vol.\u00a05728, pp. 350\u2013366. Springer, Heidelberg (2009)"},{"key":"36_CR2","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/978-3-540-74061-2_16","volume-title":"Static Analysis","author":"J. Bauer","year":"2007","unstructured":"Bauer, J., Wilhelm, R.: Static Analysis of Dynamic Communication Systems by Partner Abstraction. In: Static Analysis, pp. 249\u2013264. Springer, Heidelberg (2007)"},{"key":"36_CR3","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1145\/165854.165905","volume-title":"OOPSLA 1993: Proceedings of the Eighth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications","author":"Y. Caseau","year":"1993","unstructured":"Caseau, Y.: Efficient handling of multiple inheritance hierarchies. In: OOPSLA 1993: Proceedings of the Eighth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications, pp. 271\u2013287. ACM, New York (1993)"},{"issue":"10","key":"36_CR4","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Applying \u2018design by contract\u2019. Computer\u00a025(10), 40\u201351 (1992)","journal-title":"Computer"},{"key":"36_CR5","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/978-3-540-87405-8_20","volume-title":"Graph Transformations","author":"K. Pennemann","year":"2008","unstructured":"Pennemann, K.: Resolution-Like theorem proving for High-Level conditions. In: Graph Transformations, pp. 289\u2013304. Springer, Heidelberg (2008)"},{"issue":"1","key":"36_CR6","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/j.entcs.2006.01.022","volume":"157","author":"A. Rensink","year":"2006","unstructured":"Rensink, A., Distefano, D.: Abstract Graph Transformation. Electronic Notes in Theoretical Computer Science\u00a0157(1), 39\u201359 (2006)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"36_CR7","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-642-04425-0_4","volume-title":"Model Driven Engineering Languages and Systems","author":"S. Sen","year":"2009","unstructured":"Sen, S., Moha, N., Baudry, B., J\u00e9z\u00e9quel, J.: Meta-model Pruning. In: Model Driven Engineering Languages and Systems, pp. 32\u201346. Springer, Heidelberg (2009)"},{"key":"36_CR8","unstructured":"Ujhelyi, Z., Horv\u00e1th, A., Varr\u00f3, D.: Static Type Checking of Model Transformations by Constraint Satisfaction Programming. Technical Report TUB-TR-09-EE20, Budapest University of Technology and Economics (June 2009)"},{"issue":"3","key":"36_CR9","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1016\/j.scico.2007.05.004","volume":"68","author":"D. Varr\u00f3","year":"2007","unstructured":"Varr\u00f3, D., Balogh, A.: The model transformation language of the VIATRA2 framework. Sci. Comput. Program.\u00a068(3), 214\u2013234 (2007)","journal-title":"Sci. Comput. Program."}],"container-title":["Lecture Notes in Computer Science","Graph Transformations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15928-2_36.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T12:20:12Z","timestamp":1619785212000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15928-2_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642159275","9783642159282"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15928-2_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}