{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T19:22:05Z","timestamp":1725650525764},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540571926"},{"type":"electronic","value":"9783642784866"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-3-642-78486-6_38","type":"book-chapter","created":{"date-parts":[[2012,1,8]],"date-time":"2012-01-08T17:17:00Z","timestamp":1326043020000},"page":"241-246","source":"Crossref","is-referenced-by-count":0,"title":["Towards Correctness, Efficiency and Reusability of Transformational Developments"],"prefix":"10.1007","author":[{"given":"Bernd","family":"Krieg-Br\u00fcckner","sequence":"first","affiliation":[]},{"given":"Junbo","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Burkhart","family":"Wolff","sequence":"additional","affiliation":[]},{"given":"Hui","family":"Shi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"38_CR1","volume-title":"Handbook of Theoretical Computer Science","author":"N Dershowitz","year":"1990","unstructured":"N. Dershowitz, J-P. Jouannaud: Rewrite Systems. In: Handbook of Theoretical Computer Science. Elsevier, 1990."},{"key":"38_CR2","first-page":"194","volume-title":"A Framework for Defining Logics","author":"R Harper","year":"1987","unstructured":"R. Harper, F. Honsell, G. Plotkin. A Framework for Defining Logics. Proc. 2nd IEEE Symp. on Logic in Computer Science, Cornell, 1987,194\u2013204."},{"key":"38_CR3","series-title":"LNCS 680","volume-title":"Program development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System","year":"1993","unstructured":"B. Krieg-Br\u00fcckner, B. Hoffmann (eds.): Program development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System. LNCS 680,1993."},{"key":"38_CR4","series-title":"Acta Informatica, 11","volume-title":"Proving and Applying Program Transformations Expressed with Second-Order Patterns","author":"G Huet","year":"1978","unstructured":"G. Huet, B. Lang: Proving and Applying Program Transformations Expressed with Second-Order Patterns. Acta Informatica, 11,1978."},{"key":"38_CR5","unstructured":"R. Harper, D. Sannella, A. Tarlecki. Structure and Representation in LF. LFCS Report ECS-LFCS-89-75, Dept. of Computer Science, Uni. of Edinburgh."},{"key":"38_CR6","series-title":"LNCS 352","first-page":"36","volume-title":"Proc. TAPSOFT\u201989 (Barcelona), Vol. 2","author":"B Krieg-Br\u00fcckner","year":"1989","unstructured":"Krieg-Br\u00fcckner, B.: Algebraic Specification and Functional for Transformational Program and Meta Program Devlopment. in Diaz, J., Orejas, F. (eds): Proc. TAPSOFT\u201989 (Barcelona), Vol. 2. LNCS 352,1989,36\u201359."},{"key":"38_CR7","series-title":"LNCS 552","first-page":"361","volume-title":"Proc. VDM \u201991","author":"B Krieg-Briickner","year":"1991","unstructured":"Krieg-Briickner, B., Karlsen, E., Liu, J., Traynor, O.: The PROSPECTRA Methodology and System: A Unified Development Framework. In Proc. VDM \u201991, Springer Verlag, LNCS 552,1991, 361\u2013397."},{"key":"38_CR8","volume-title":"Handbook of Logic in Computer Science, Chapter 1","author":"JW Klop","year":"1992","unstructured":"J.W. Klop: Term Rewriting Systems. Appeared in: S. Abramski, Dov. M. Gabbay, T.S.E. Maibaum (eds): Handbook of Logic in Computer Science, Chapter 1. Oxford Science Publications, 1992."},{"key":"38_CR9","series-title":"Korso Report","volume-title":"A Semantic Basis for Logic-Independent Transformation","author":"J Liu","year":"1993","unstructured":"J. Liu: A Semantic Basis for Logic-Independent Transformation. Korso Report, Universit\u00e4t Bremen, 1993."},{"key":"38_CR10","volume-title":"Extended-ML: an Institution Independent Framework for Formal Program Development LNCS 240","author":"D Sannella","year":"1986","unstructured":"Sannella, D., Tarlecki, A.: Extended-ML: an Institution Independent Framework for Formal Program Development LNCS 240, (1986)."},{"key":"38_CR11","series-title":"KORSO Report, FB3 Informatik","volume-title":"Second-Order Matching with Matching Combinators","author":"H Shi","year":"1993","unstructured":"Shi, H., Wolff, B.: Second-Order Matching with Matching Combinators. KORSO Report, FB3 Informatik, Universit\u00e4t Bremen, 1993."},{"key":"38_CR12","series-title":"KORSO Report, FB3 Informatik","volume-title":"Towards a Meta-Language for Reusable Transformational Developments","author":"B Wolff","year":"1993","unstructured":"Wolff, B., Shi, H.: Towards a Meta-Language for Reusable Transformational Developments. KORSO Report, FB3 Informatik, Universit\u00e4t Bremen, 1993."}],"container-title":["Informatik aktuell","Informatik \u2014 Wirtschaft \u2014 Gesellschaft"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-78486-6_38.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,6]],"date-time":"2021-05-06T12:59:23Z","timestamp":1620305963000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-78486-6_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540571926","9783642784866"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-78486-6_38","relation":{},"ISSN":["1431-472X"],"issn-type":[{"type":"print","value":"1431-472X"}],"subject":[],"published":{"date-parts":[[1993]]}}}