{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:11:25Z","timestamp":1725484285694},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540431596"},{"type":"electronic","value":"9783540456452"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45645-7_11","type":"book-chapter","created":{"date-parts":[[2007,5,28]],"date-time":"2007-05-28T22:24:22Z","timestamp":1180391062000},"page":"221-237","source":"Crossref","is-referenced-by-count":0,"title":["Institution Independent Static Analysis for Casl"],"prefix":"10.1007","author":[{"given":"Till","family":"Mossakowski","sequence":"first","affiliation":[]},{"given":"Bartek","family":"Klin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,1,29]]},"reference":[{"key":"11_CR1","series-title":"Lect Notes Comput Sci","volume-title":"Recent Trends in Algebraic Development Techniques","author":"D. Ancona","year":"2000","unstructured":"D. Ancona, M. Cerioli, and E. Zucca. Extending Casl by late binding. In C. Choppy, D. Bert, and P. Mosses, editors, Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT\u201999, Bonas, France, volume 1827 of Lecture Notes in Computer Science. Springer-Verlag, 2000."},{"key":"11_CR2","volume-title":"Abstract and Concrete Categories","author":"J. Ad\u00e1mek","year":"1990","unstructured":"J. Ad\u00e1mek, H. Herrlich, and G. Strecker. Abstract and Concrete Categories. Wiley, New York, 1990."},{"key":"11_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/3-540-49253-4_25","volume-title":"Architectural specifications in Casl","author":"M. Bidoit","year":"1998","unstructured":"Michel Bidoit, Donald Sannella, and Andrzej Tarlecki. Architectural specifications in Casl. In AMAST\u2019 98, Proc. 7th Intl. Conference on Algebraic Methodology and Software Technology, Manaus, volume 1548 of LNCS, pages 341\u2013357. Springer-Verlag, 1998."},{"key":"11_CR4","series-title":"Lect Notes Comput Sci","volume-title":"State-based extension of Casl","author":"H. Baumeister","year":"2000","unstructured":"H. Baumeister and A. Zamulin. State-based extension of Casl. In Proceedings IFM 2000, volume 1945 of Lecture Notes in Computer Science. Springer-Verlag, 2000."},{"key":"11_CR5","unstructured":"CoFI. The Common Framework Initiative for algebraic Specification and development, electronic archives. Notes and Documents accessible from \n http:\/\/www.brics.dk\/Projects\/CoFI\/\n \n ."},{"key":"11_CR6","unstructured":"CoFI Semantics Task Group. Casl. The CoFI Algebraic Specification Language. Semantics. Note S-9 (Documents\/CASL\/Semantics, version 1.0), in [CoFa], forthcoming."},{"key":"11_CR7","unstructured":"CoFI Language Design Task Group. Casl. The CoFI Algebraic Specification Language. Summary. Documents\/CASL\/Summary, in [CoFa], March 2001."},{"key":"11_CR8","series-title":"Lect Notes Comput Sci","first-page":"95","volume-title":"Journal of the Association for Computing Machinery","author":"J. A. Goguen","year":"1992","unstructured":"J. A. Goguen and R. M. Burstall. Institutions: Abstract model theory for Specification and programming. Journal of the Association for Computing Machinery, 39:95\u2013146, 1992. Predecessor in: LNCS 164, 221-256, 1984."},{"key":"11_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1007\/3-540-44683-4_40","volume-title":"Mathematical Foundations of Computer Science","author":"B. Klin","year":"2001","unstructured":"B. Klin, P. Hoffman, A. Tarlecki, T. Mossakowski, and L. Schr\u00f6der. Checking amalgamability conditions for Casl architectural specifications. In J. Sgall, A. Pultr, P. Kolman, editors, Mathematical Foundations of Computer Science, volume 2136 of Lecture Notes in Computer Science, pages 451\u2013463. Springer-Verlag, 2001."},{"key":"11_CR10","unstructured":"B. Klin. An implementation of static semantics for architectural specifications in Casl (in Polish). Master\u2019s thesis, Warsaw University, 2000. Institution Independent Static Analysis for CASL 237"},{"key":"11_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1007\/978-3-540-44616-3_8","volume-title":"Recent Trends in Algebraic Development Techniques","author":"T. Mossakowski","year":"2000","unstructured":"T. Mossakowski, A. Haxthausen, and B. Krieg-Br\u00fcckner. Subsorted partial higher-order logic as an extension of Casl. In C. Choppy, D. Bert, and P. Mosses, editors, Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT\u201999, Bonas, France, volume 1827 of Lecture Notes in Computer Science, pages 126\u2013145. Springer-Verlag, 2000."},{"key":"11_CR12","unstructured":"T. Mossakowski. The Casl tool set. Available at \n http:\/\/www.tzi.de\/cofi\/CATS\n \n ."},{"key":"11_CR13","unstructured":"T. Mossakowski. Heterogeneous development graphs and heterogeneous borrowing. Submitted."},{"key":"11_CR14","unstructured":"Till Mossakowski. Relating Casl with other Specification languages: the institution level. Theoretical Computer Science. To appear."},{"key":"11_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/BFb0030591","volume-title":"CoFI: The Common Framework Initiative for Algebraic Specification and Development","author":"P. D. Mosses","year":"1997","unstructured":"Peter D. Mosses. CoFI: The Common Framework Initiative for Algebraic Specification and Development. In TAPSOFT\u2019 97, Proc. Intl. Symp. on Theory and Practice of Software Development, volume 1214 of LNCS, pages 115\u2013137. Springer-Verlag, 1997."},{"key":"11_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1007\/978-3-540-44616-3_15","volume-title":"Recent Trends in Algebraic Development Techniques","author":"T. Mossakowski","year":"2000","unstructured":"T. Mossakowski. Specification in an arbitrary institution with symbols. In C. Choppy, D. Bert, and P. Mosses, editors, Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT\u201999, Bonas, France, volume 1827 of Lecture Notes in Computer Science, pages 252\u2013270. Springer-Verlag, 2000."},{"key":"11_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/3-540-46419-0_8","volume-title":"TACAS 2000","author":"T. Mossakowski","year":"2000","unstructured":"Till Mossakowski. Casl: From semantics to tools. In S. Graf and M. Schwartzbach, editors, TACAS 2000, volume 1785 of Lecture Notes in Computer Science, pages 93\u2013108. Springer-Verlag, 2000."},{"key":"11_CR18","unstructured":"L. C. Paulson. ML for the Working Programmer. Cambridge University Press, 1991."},{"key":"11_CR19","series-title":"Lect Notes Comput Sci","volume-title":"Casl-CHART: a combination of statecharts and of the algebraic Specification language Casl","author":"G. Reggio","year":"2000","unstructured":"G. Reggio and L. Repetto. Casl-CHART: a combination of statecharts and of the algebraic Specification language Casl. In Proc. AMAST 2000, volume 1816 of Lecture Notes in Computer Science. Springer Verlag, 2000."},{"key":"11_CR20","unstructured":"L. Schr\u00f6der and T. Mossakowski. HasCasl: Towards integrated Specification and development of Haskell programs. Submitted."},{"key":"11_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/3-540-45314-8_19","volume-title":"Fundamental Approaches to Software Engineering","author":"L. Schr\u00f6der","year":"2001","unstructured":"L. Schr\u00f6der, T. Mossakowski, P. Hoffman, B. Klin, and A. Tarlecki. Semantics of architectural specifications in Casl. In H. Hu\u03b2mann, editor, Fundamental Approaches to Software Engineering, volume 2029 of Lecture Notes in Computer Science, pages 253\u2013268. Springer-Verlag, 2001."},{"key":"11_CR22","unstructured":"L. Schr\u00f6der, T. Mossakowski, P. Hoffman, B. Klin, and A. Tarlecki. Amalgamation in the semantics of Casl. Submitted to Theoretical Computer Science."}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45645-7_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T19:12:28Z","timestamp":1550344348000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45645-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540431596","9783540456452"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-45645-7_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}