{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T15:51:28Z","timestamp":1743090688841,"version":"3.40.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319281131"},{"type":"electronic","value":"9783319281148"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-28114-8_2","type":"book-chapter","created":{"date-parts":[[2015,12,29]],"date-time":"2015-12-29T12:57:37Z","timestamp":1451393857000},"page":"9-29","source":"Crossref","is-referenced-by-count":4,"title":["An Institutional Foundation for the $$\\mathbb {K}$$K Semantic Framework"],"prefix":"10.1007","author":[{"given":"Claudia Elena","family":"Chiri\u0163\u0103","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Traian Florin","family":"\u015eerb\u0103nu\u0163\u0103","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,12,30]]},"reference":[{"key":"2_CR1","unstructured":"The IMP language. http:\/\/www.kframework.org\/imgs\/releases\/k\/tutorial\/1_k\/2_imp\/lesson_5\/imp.pdf"},{"issue":"1","key":"2_CR2","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/j.ipl.2007.02.005","volume":"103","author":"M Aiguier","year":"2007","unstructured":"Aiguier, M., Diaconescu, R.: Stratified institutions and elementary homomorphisms. Inf. Process. Lett. 103(1), 5\u201313 (2007)","journal-title":"Inf. Process. Lett."},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Bogd\u0103na\u015f, D., Ro\u015fu, G.: K-Java: a complete semantics of Java. In: Proceedings of the 42nd Symposium on Principles of Programming Languages, POPL 2015. ACM (2015)","DOI":"10.1145\/2676726.2676982"},{"issue":"2","key":"2_CR4","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/S0304-3975(01)00317-6","volume":"286","author":"T Borzyszkowski","year":"2002","unstructured":"Borzyszkowski, T.: Logical systems for structured specifications. Theor. Comput. Sci. 286(2), 197\u2013245 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Chiri\u0163\u0103, C.E.: An institutional foundation for the K semantic framework. Master\u2019s thesis, University of Bucharest (2014)","DOI":"10.1007\/978-3-319-28114-8_2"},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/j.entcs.2014.05.003","volume":"304","author":"TF \u015eerb\u0103nu\u0163\u0103","year":"2014","unstructured":"\u015eerb\u0103nu\u0163\u0103, T.F., Arusoaie, A., Lazar, D., Ellison, C., Lucanu, D., Ro\u015fu, G.: The K primer (version 3.3). Electron. Notes Theor. Comput. Sci. 304, 57\u201380 (2014)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"2_CR7","series-title":"Studies in Universal Logic","volume-title":"Institution-independent Model Theory","author":"R Diaconescu","year":"2008","unstructured":"Diaconescu, R.: Institution-independent Model Theory. Studies in Universal Logic. Springer, London (2008). http:\/\/books.google.ro\/books?id=aEpn60-EDXwC"},{"issue":"2","key":"2_CR8","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1016\/j.jlap.2009.09.001","volume":"79","author":"R Diaconescu","year":"2010","unstructured":"Diaconescu, R.: Quasi-boolean encodings and conditionals in algebraic specification. J. Logic Algebraic Program. 79(2), 174\u2013188 (2010)","journal-title":"J. Logic Algebraic Program."},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Ellison, C., Ro\u015fu, G.: An executable formal semantics of C with applications. In: Proceedings of the 39th Symposium on Principles of Programming Languages (POPL 2012), pp. 533\u2013544. ACM (2012)","DOI":"10.1145\/2103656.2103719"},{"issue":"1","key":"2_CR10","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"JA Goguen","year":"1992","unstructured":"Goguen, J.A., Burstall, R.M.: Institutions: abstract model theory for specification and programming. J. ACM 39(1), 95\u2013146 (1992)","journal-title":"J. ACM"},{"issue":"3","key":"2_CR11","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1017\/S0960129500000517","volume":"4","author":"JA Goguen","year":"1994","unstructured":"Goguen, J.A., Diaconescu, R.: An Oxford survey of order sorted algebra. Math. Struct. Comput. Sci. 4(3), 363\u2013392 (1994)","journal-title":"Math. Struct. Comput. Sci."},{"key":"2_CR12","unstructured":"Guth, D.: A formal semantics of python 3.3. Master\u2019s thesis, University of Illinois at Urbana-Champaign, July 2013"},{"key":"2_CR13","unstructured":"Lamo, Y.: The Institution of Multialgebras-a general framework for algebraic software development. Ph.D. thesis, University of Bergen (2003)"},{"key":"2_CR14","volume-title":"Categories for the Working Mathematician","author":"SM Lane","year":"1998","unstructured":"Lane, S.M.: Categories for the Working Mathematician. Springer, New York (1998). http:\/\/books.google.ro\/books?id=eBvhyc4z8HQC"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Meseguer, J.: General logics. In: Ebbinghaus, H.D., Fernandez-Prida, J., Garrido, M., Lascar, D., Artalejo, M.R. (eds.) Logic Colloquium 1987 Proceedings of the Colloquium held in Granada, Studies in Logic and the Foundations of Mathematics, vol. 129, pp. 275\u2013329. Elsevier (1989)","DOI":"10.1016\/S0049-237X(08)70132-0"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Mossakowski, T.: HetCasl-heterogeneous specification. Language summary (2004)","DOI":"10.1007\/978-3-540-40020-2_21"},{"key":"2_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1007\/978-3-540-71209-1_40","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T Mossakowski","year":"2007","unstructured":"Mossakowski, T., Maeder, C., L\u00fcttich, K.: The heterogeneous tool set, Hets. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 519\u2013522. Springer, Heidelberg (2007)"},{"key":"2_CR18","unstructured":"Ro\u015fu, G.: Matching logic: a logic for structural reasoning. Technical report, University of Illinois, January 2014. http:\/\/hdl.handle.net\/2142\/47004,"},{"issue":"6","key":"2_CR19","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1016\/j.jlap.2010.03.012","volume":"79","author":"G Ro\u015fu","year":"2010","unstructured":"Ro\u015fu, G., \u015eerb\u0103nu\u0163\u0103, T.F.: An overview of the K semantic framework. J. Log. Algebraic Program. 79(6), 397\u2013434 (2010)","journal-title":"J. Log. Algebraic Program."},{"key":"2_CR20","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2014.05.002","volume":"304","author":"G Ro\u015fu","year":"2014","unstructured":"Ro\u015fu, G., \u015eerb\u0103nu\u0163\u0103, T.F.: K overview and SIMPLE case study. Electron. Notes Theoret. Comput. Sci. 304, 3\u201356 (2014)","journal-title":"Electron. Notes Theoret. Comput. Sci."},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Ro\u015fu, G., \u015etef\u0103nescu, A., Ciob\u00e2c\u0103, \u015e., Moore, B.M.: One-path reachability logic. In: Proceedings of the 28th Symposium on Logic in Computer Science (LICS 2013), pp. 358\u2013367. IEEE, June 2013","DOI":"10.1109\/LICS.2013.42"},{"issue":"3","key":"2_CR22","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1017\/S0960129500001006","volume":"6","author":"A Salibra","year":"1996","unstructured":"Salibra, A., Scollo, G.: Interpolation and compactness in categories of pre-institutions. Math. Struct. Comput. Sci. 6(3), 261\u2013286 (1996)","journal-title":"Math. Struct. Comput. Sci."},{"key":"2_CR23","series-title":"Monographs in Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17336-3","volume-title":"Foundations of Algebraic Specification and Formal Software Development","author":"D Sannella","year":"2012","unstructured":"Sannella, D., Tarlecki, A.: Foundations of Algebraic Specification and Formal Software Development. Monographs in Theoretical Computer Science. Springer, Heidelberg (2012)"},{"key":"2_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"478","DOI":"10.1007\/3-540-61629-2_59","volume-title":"Recent Trends in Data Type Specification","author":"A Tarlecki","year":"1996","unstructured":"Tarlecki, A.: Moving between logical systems. In: Haveraaen, M., Dahl, O.-J., Owe, O. (eds.) Abstract Data Types 1995 and COMPASS 1995. LNCS, vol. 1130, pp. 478\u2013502. Springer, Heidelberg (1996)"}],"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\/978-3-319-28114-8_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,13]],"date-time":"2020-09-13T09:23:54Z","timestamp":1599989034000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-28114-8_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319281131","9783319281148"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-28114-8_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}