{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:10:32Z","timestamp":1725484232427},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540438649"},{"type":"electronic","value":"9783540454656"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45465-9_49","type":"book-chapter","created":{"date-parts":[[2007,5,26]],"date-time":"2007-05-26T21:12:57Z","timestamp":1180213977000},"page":"572-584","source":"Crossref","is-referenced-by-count":6,"title":["A Total Approach to Partial Algebraic Specification"],"prefix":"10.1007","author":[{"given":"Jos\u00e9","family":"Meseguer","sequence":"first","affiliation":[]},{"given":"Grigore","family":"Ro\u015fu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,6,25]]},"reference":[{"key":"49_CR1","series-title":"Lect Notes Comput Sci","volume-title":"Algebraic System Specification and Development. A Survey and Annotated Bibliography","year":"1991","unstructured":"M. Bidoit, H.-J. Kreowski, P. Lescanne, F. Orejas, and D. Sannella, editors. Algebraic System Specification and Development. A Survey and Annotated Bibliography, volume 501 of LNCS. Springer, 1991."},{"key":"49_CR2","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/S0304-3975(99)00206-6","volume":"236","author":"A. Bouhoula","year":"2000","unstructured":"A. Bouhoula, J.-P. Jouannaud, and J. Meseguer. Specification and proof in membership equational logic. Theoretical Computer Science, 236:35\u2013132, 2000.","journal-title":"Theoretical Computer Science"},{"key":"49_CR3","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/BF00625280","volume":"18","author":"M. Broy","year":"1982","unstructured":"M. Broy and M. Wirsing. Partial abstract types. Acta Informatica, 18:47\u201364, 1982.","journal-title":"Acta Informatica"},{"issue":"2","key":"49_CR4","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/S0304-3975(96)00160-0","volume":"173","author":"M. Cerioli","year":"1997","unstructured":"M. Cerioli and J. Meseguer. May I borrow your logic? (Transporting logical structures along maps). Theoretical Computer Science, 173(2):311\u2013347, 1997.","journal-title":"Theoretical Computer Science"},{"key":"49_CR5","unstructured":"M. Clavel, F. Dur\u00e1n, S. Eker, P. Lincoln, N. Mart\u00ed-Oliet, J. Meseguer, and J. Que-sada. Maude: specification and programming in rewriting logic. SRI International, January 1999, http:\/\/maude.csl.sri.com."},{"key":"49_CR6","doi-asserted-by":"crossref","unstructured":"M. Clavel, F. Dur\u00e1n, S. Eker, and J. Meseguer. Building equational proving tools by reflection in rewriting logic. In CAFE: An Industrial-Strength Algebraic Formal Method. Elsevier, 2000. http:\/\/maude.csl.sri.com.","DOI":"10.1016\/B978-044450556-9\/50061-7"},{"key":"49_CR7","unstructured":"CoFI task group on semantics, CASL \u2014 The common algebraic specification language, Semantics. http:\/\/www.brics.dk\/Projects\/CoFI\/Documents\/CASL , July 1999."},{"key":"49_CR8","doi-asserted-by":"crossref","unstructured":"R. Diaconescu and K. Futatsugi. CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification. World Scientific, 1998. AMAST Series in Computing, volume 6.","DOI":"10.1142\/3831"},{"key":"49_CR9","doi-asserted-by":"crossref","unstructured":"M. Gogolla and M. Cerioli. What is an Abstract Data Type after all? Technical report, DISI-University of Genova, 1994.","DOI":"10.1007\/BFb0014447"},{"issue":"2","key":"49_CR10","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0304-3975(92)90302-V","volume":"105","author":"J. Goguen","year":"1992","unstructured":"J. Goguen and J. Meseguer. Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Theoretical Computer Science, 105(2):217\u2013273, 1992.","journal-title":"Theoretical Computer Science"},{"key":"49_CR11","doi-asserted-by":"crossref","unstructured":"J. Goguen, T. Winkler, J. Meseguer, K. Futatsugi, and J.-P. Jouannaud. Introducing OBJ. In Software Engineering with OBJ: algebraic specification in action, pages 3\u2013167. Kluwer, 2000.","DOI":"10.1007\/978-1-4757-6541-0_1"},{"issue":"4","key":"49_CR12","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1006\/jsco.1997.0187","volume":"25","author":"C. Hintermeier","year":"1998","unstructured":"C. Hintermeier, C. Kirchner, and H. Kirchner. Dynamically-typed computations for order-sorted equational presentations. Journal of Symbolic Computation, 25(4):455\u2013526, April 1998.","journal-title":"Journal of Symbolic Computation"},{"key":"49_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1007\/3-540-08442-8_77","volume-title":"Fundamentals of Computation Theory","author":"H. Kaphengst","year":"1977","unstructured":"H. Kaphengst and H. Reichel. Initial algebraic semantics for non-context-free languages. In M. Karpinski, editor, Fundamentals of Computation Theory, volume 56 of LNCS, pages 120\u2013126. Springer, 1977."},{"key":"49_CR14","doi-asserted-by":"crossref","unstructured":"M. Lowry, T. Pressburger, and G. Ro\u015fu. Certifying domain-specific policies. In Proceedings, International Conference on Automated Software Engineering (ASE\u201901), pages 81\u201390. IEEE, 2001. San Diego, California.","DOI":"10.1109\/ASE.2001.989793"},{"key":"49_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/3-540-64299-4_26","volume-title":"Proceedings, WADT\u201997","author":"J. Meseguer","year":"1998","unstructured":"J. Meseguer. Membership algebra as a logical framework for equational specification. In Proceedings, WADT\u201997, volume 1376 of LNCS, pages 18\u201361, 1998."},{"key":"49_CR16","doi-asserted-by":"crossref","unstructured":"J. Meseguer and G. Ro\u015fu. A total approach to partial algebraic specification. Extended version at http:\/\/ase.arc.nasa.gov\/grosu\/tapase.html , 2002.","DOI":"10.1007\/3-540-45465-9_49"},{"key":"49_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1007\/3-540-61377-3_51","volume-title":"Computer Science Logic","author":"T. Mossakowski","year":"1996","unstructured":"T. Mossakowski. Equivalences among various logical frameworks of partial algebras. In Computer Science Logic, volume 1092 of LNCS, pages 403\u2013433, 1996."},{"key":"49_CR18","unstructured":"T. Mossakowski. Introduction into HOL-CASL. http:\/\/www.tzi.de\/cofi\/ , 2001."},{"key":"49_CR19","unstructured":"T. Mossakowski. Relating CASL with other specification languages: the institution level. Theoretical Computer Science, To appear. http:\/\/www.tzi.de\/~ ."},{"key":"49_CR20","doi-asserted-by":"crossref","unstructured":"H. Reichel. Initial Computability, Algebraic Specifications, and Partial Algebras. Oxford University Press, 1987.","DOI":"10.1515\/9783112573426"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45465-9_49","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,11]],"date-time":"2023-05-11T21:28:18Z","timestamp":1683840498000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45465-9_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540438649","9783540454656"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-45465-9_49","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}