{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:51Z","timestamp":1725663531551},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540180883"},{"type":"electronic","value":"9783540477471"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-18088-5_45","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:27:27Z","timestamp":1330198047000},"page":"521-530","source":"Crossref","is-referenced-by-count":8,"title":["Partial algebras flow from algebraic specifications"],"prefix":"10.1007","author":[{"given":"Hans-J\u00f6rg","family":"Kreowski","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"45_CR1","unstructured":"M. Broy, P. Pepper, M. Wirsing: On the Algebraic Definition of Programming Languages, to appear in TOPLAS."},{"key":"45_CR2","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/BF00625280","volume":"18","author":"M. Broy","year":"1982","unstructured":"M. Broy, M. Wirsing: Partial Abstract Types, Acta Informatica 18 (1982), 47\u201364.","journal-title":"Acta Informatica"},{"key":"45_CR3","first-page":"75","volume":"241","author":"P. Burmeister","year":"1970","unstructured":"P. Burmeister: Free partial algebras, J. reine u. angewandte Math. 241 (1970), 75\u201386.","journal-title":"J. reine u. angewandte Math."},{"key":"45_CR4","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/3-540-10854-8_7","volume":"117","author":"P. Burmeister","year":"1981","unstructured":"P. Burmeister: Quasi-Equational Logic for Partial Algebras, Lect. Notes in Comp. Sci. 117 (1981), 71\u201380.","journal-title":"Lect. Notes in Comp. Sci."},{"key":"45_CR5","doi-asserted-by":"crossref","unstructured":"H. Ehrig, B. Mahr: Fundamentals of Algebraic Specification 1 \u2014 Equations and Initial Semantics, Springer (1985).","DOI":"10.1007\/978-3-642-69962-7"},{"key":"45_CR6","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1007\/3-540-10699-5_106","volume":"107","author":"J. A. Goguen","year":"1981","unstructured":"J.A. Goguen, K. Parsaye-Ghomi: Algebraic Denotational Semantics Using Parameterized Abstract Modules, Lect. Not. Comp. Sci. 107 (1981), 292\u2013309.","journal-title":"Lect. Not. Comp. Sci."},{"key":"45_CR7","first-page":"80","volume":"4","author":"J. A. Goguen","year":"1978","unstructured":"J.A. Goguen, J.W. Thatcher, E.G. Wagner: An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types, in: R. Yeh (ed.): Current Trends in Programming Methodology, Vol.4, Prentice-Hall (1978), 80\u2013149.","journal-title":"Correctness and Implementation of Abstract Data Types"},{"key":"45_CR8","unstructured":"G. Gr\u00e4tzer: Universal Algebra, Princeton, van Nostrand (1968)."},{"key":"45_CR9","unstructured":"J.V. Guttag: The Specification and Application to Programming of Abstract Data Types, Ph.D. Thesis, University of Toronto (1975)."},{"key":"45_CR10","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"C. A. R. R. Hoare","year":"1972","unstructured":"C.A.R. Hoare: Proof of Correctness of Data Representations, Acta Informatica 1 (1972), 271\u2013281.","journal-title":"Acta Informatica"},{"key":"45_CR11","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/BF02945120","volume":"3","author":"H. H\u00f6ft","year":"1973","unstructured":"H. H\u00f6ft: Weak and Strong Equations in Partial Algebras, Algebra universalis 3 (1973), 203\u2013215.","journal-title":"Algebra universalis"},{"key":"45_CR12","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/BF01174565","volume":"159","author":"R. John","year":"1978","unstructured":"R. John: G\u00fcltigkeitsbegriffe f\u00fcr Gleichungen in partiellen Algebren, Math. Zeitschrift 159 (1978), 25\u201335.","journal-title":"Math. Zeitschrift"},{"key":"45_CR13","doi-asserted-by":"crossref","unstructured":"A.J. Kfoury, R.N. Moll, M.A. Arbib: A Programming Approach to Computability, Springer (1982).","DOI":"10.1007\/978-1-4612-5749-3"},{"key":"45_CR14","doi-asserted-by":"crossref","unstructured":"H. Klaeren: Algebraische Spezifikation \u2014 eine Einf\u00fchrung, Springer (1983).","DOI":"10.1007\/978-3-642-69009-9"},{"key":"45_CR15","unstructured":"H.-J. Kreowski, H.W. Schmidt: Some Algebraic Concepts of the Specification Language SEGRAS and Their Initial Semantics, GMD-Studie Nr.93 (1984)."},{"key":"45_CR16","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/3-540-13346-1_4","volume":"173","author":"P. Mosses","year":"1984","unstructured":"P. Mosses: A Basic Abstract Semantic Algebra, Lect. Not. Comp.Sci. 173 (1984), 87\u2013104.","journal-title":"Lect. Not. Comp.Sci."},{"key":"45_CR17","volume-title":"Theorie der \u00c4quoide","author":"H. Reichel","year":"1979","unstructured":"H. Reichel: Theorie der \u00c4quoide, Dissertation B, Humboldt University, Berlin 1979."},{"key":"45_CR18","series-title":"Mathematical Research \u00b7 Mathematische Forschung Band","doi-asserted-by":"crossref","DOI":"10.1515\/9783112529041","volume-title":"Structural Induction on Partial Algebras","author":"H. Reichel","year":"1984","unstructured":"H. Reichel: Structural Induction on Partial Algebras, Mathematical Research \u00b7 Mathematische Forschung Band 18, Akademie-Verlag, Berlin 1984."},{"key":"45_CR19","doi-asserted-by":"crossref","first-page":"73","DOI":"10.4064\/cm-14-1-73-87","volume":"14","author":"J. Schmidt","year":"1966","unstructured":"J. Schmidt: A General Existence Theorem on Partial Algebras and its Special Cases, Coll. Math.14 (1966), 73\u201387.","journal-title":"Coll. Math."},{"key":"45_CR20","unstructured":"J. Slomi\u0144ski: Peano-Algebras and Quasi-Algebras, Dissertationes Math. 62 (1968)."},{"key":"45_CR21","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0304-3975(81)90080-3","volume":"15","author":"J. W. Thatcher","year":"1981","unstructured":"J.W. Thatcher, E.G. Wagner, J.B. Wright: More on Advice on Structuring Compilers and Proving Them Correct, Theoretical Computer Science 15 (1981), 223\u2013249.","journal-title":"Theoretical Computer Science"},{"key":"45_CR22","doi-asserted-by":"publisher","first-page":"711","DOI":"10.1145\/69622.357192","volume":"4","author":"J. W. Thatcher","year":"1982","unstructured":"J.W. Thatcher, E.G. Wagner, J.B. Wright: Data Type Specification: Parameterization and the Power of Specification Techniques, ACM TOPLAS 4 (1982), 711\u2013732.","journal-title":"ACM TOPLAS"},{"key":"45_CR23","unstructured":"S. Zilles: Algebraic Specification of Data Types, MIT-Proj. MAC Progr.Rep.11(1974)."}],"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-18088-5_45.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T17:48:07Z","timestamp":1687283287000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-18088-5_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540180883","9783540477471"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-18088-5_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}