{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:47Z","timestamp":1725664007247},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540555117"},{"type":"electronic","value":"9783540471943"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55511-0_24","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T05:09:42Z","timestamp":1330232982000},"page":"457-476","source":"Crossref","is-referenced-by-count":5,"title":["Program correctness and matricial iteration theories"],"prefix":"10.1007","author":[{"given":"Stephen L.","family":"Bloom","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zolt\u00e1n","family":"\u00e9sik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"24_CR1","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/0021-8693(80)90212-4","volume":"1","author":"M. A. Arbib","year":"1980","unstructured":"M.A. Arbib and E. Manes. Partially additive categories and flowdiagram semantics. J. Algebra, (1):203\u2013227, 1980.","journal-title":"J. Algebra"},{"issue":"4","key":"24_CR2","doi-asserted-by":"crossref","first-page":"887","DOI":"10.1145\/115234.115352","volume":"38","author":"S. L. Bloom","year":"1991","unstructured":"S.L. Bloom and Z. \u00e9sik. Floyd-Hoare logic in iteration theories. Journal of the Association of Computing Machinery, 38(4):887\u2013934 (1991).","journal-title":"Journal of the Association of Computing Machinery"},{"unstructured":"S.L. Bloom and Zolt\u00e1n \u00e9sik. Matrix and matricial iteration theories, part I. To appear in Journal of Computer and System Science.","key":"24_CR3"},{"unstructured":"S.L. Bloom and Zolt\u00e1n \u00e9sik. Matrix and matricial iteration theories, part II. To appear in Journal of Computer and System Science.","key":"24_CR4"},{"issue":"5","key":"24_CR5","doi-asserted-by":"publisher","first-page":"939","DOI":"10.1137\/0217059","volume":"17","author":"S. L. Bloom","year":"1988","unstructured":"S.L. Bloom and Z. \u00e9sik. Varieties of iteration theories. SIAM Journal of Computing, 17 (5):939\u2013966, 1988.","journal-title":"SIAM Journal of Computing"},{"issue":"1","key":"24_CR6","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1137\/0209002","volume":"9","author":"S. L. Bloom","year":"1980","unstructured":"S.L. Bloom, C.C. Elgot, and J.B. Wright. Solutions of the iteration equation and extensions of the scalar iteration operation. SIAM Journal of Computing, 9(1):26\u201345, 1980.","journal-title":"SIAM Journal of Computing"},{"issue":"3","key":"24_CR7","doi-asserted-by":"crossref","first-page":"525","DOI":"10.1137\/0209039","volume":"9","author":"S. L. Bloom","year":"1980","unstructured":"S.L. Bloom, C.C. Elgot, and J.B. Wright. Vector iteration in pointed iterative theories. SIAM Journal of Computing, 9(3):525\u2013540, 1980.","journal-title":"SIAM Journal of Computing"},{"issue":"4","key":"24_CR8","doi-asserted-by":"crossref","first-page":"683","DOI":"10.1137\/0209052","volume":"9","author":"S. L. Bloom","year":"1980","unstructured":"S. L. Bloom and R. Tindell. Compatible orderings on the metric theory of trees. SIAM J. Computing, 9(4):683\u2013691, 1980.","journal-title":"SIAM J. Computing"},{"key":"24_CR9","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1016\/0022-0000(83)90037-5","volume":"2","author":"S. L. Bloom","year":"1983","unstructured":"S.L. Bloom, J. Thatcher, E. Wagner, and J. Wright. Recursion and iteration in continuous theories. Journal of Computer and System Science, (2):148\u2013164, 1983.","journal-title":"Journal of Computer and System Science"},{"key":"24_CR10","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1137\/0207005","volume":"7","author":"Stephen A. A. Cook","year":"1978","unstructured":"Stephen A. Cook. Soundness and completeness of an axiom system for program verification. SIAM Journal of Computing, 7:70\u201390, 1978.","journal-title":"SIAM Journal of Computing"},{"key":"24_CR11","volume-title":"Logic Colloquium 1973, Studies in Logic, volume 80","author":"Calvin C. C. Elgot","year":"1975","unstructured":"Calvin C. Elgot. Monadic computation and iterative algebraic theories. In J. C. Shepherson, editor, Logic Colloquium 1973, Studies in Logic, volume 80. North Holland, Amsterdam, 1975."},{"issue":"2","key":"24_CR12","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1016\/0021-8693(76)90106-X","volume":"42","author":"Calvin C. C. Elgot","year":"1976","unstructured":"Calvin C. Elgot. Matricial theories. Journal of Algebra, 42(2):391\u2013421, 1976.","journal-title":"Journal of Algebra"},{"key":"24_CR13","first-page":"183","volume":"14","author":"Z. \u00e9sik","year":"1980","unstructured":"Z. \u00e9sik. Identitites in iterative and rational theories. Computational Linguistics and Computer Languages, 14:183\u2013207, 1980.","journal-title":"Computational Linguistics and Computer Languages"},{"unstructured":"D.Kozen and J.Tiuryn Logics of Programs Technical Report, Washington State University, 1987.","key":"24_CR14"},{"key":"24_CR15","volume-title":"EATCS Monographs on Theoretical Computer Science","author":"W. Kuich","year":"1986","unstructured":"W. Kuich and A. Salomaa. Semirings, Automata and Languages. EATCS Monographs on Theoretical Computer Science. Springer-Verlag, Berlin, Heidelberg, New York.Tokyo, 1986."},{"key":"24_CR16","doi-asserted-by":"crossref","first-page":"869","DOI":"10.1073\/pnas.50.5.869","volume":"50","author":"F. W. Lawvere","year":"1963","unstructured":"F.W. Lawvere. Functorial semantics of algebraic theories. Proceedings of the National Academy of Sciences USA, 50:869\u2013873, 1963.","journal-title":"Proceedings of the National Academy of Sciences USA"},{"doi-asserted-by":"crossref","unstructured":"E. Manes and M.A. Arbib. Algebraic approaches to Program Semantics. Springer-Verlag Texts and Monographs in Computer Science. Springer-Verlag, 1986.","key":"24_CR17","DOI":"10.1007\/978-1-4612-4962-7"},{"doi-asserted-by":"crossref","unstructured":"E. G. Manes. Assertional categories, volume 298 of Lecture Notes in Computer Science, pages 85\u2013120. Springer-Verlag, 1987.","key":"24_CR18","DOI":"10.1007\/3-540-19020-1_5"},{"doi-asserted-by":"crossref","unstructured":"E. G. Manes. Monads, matrices and generalized dynamic logic, volume 393 of Lecture Notes in Computer Science, pages 66\u201381. Springer-Verlag, 1989.","key":"24_CR19","DOI":"10.1007\/3-540-51722-7_5"},{"unstructured":"E.G. Manes. Predicate transformer semantics. Preprint, University of Massachusetts, 1990.","key":"24_CR20"},{"unstructured":"Michael G. Main and David L. Black. Semantic models for total correctness and fairness. Technical report, University of Colorado, 1988.","key":"24_CR21"},{"key":"24_CR22","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/BF02572645","volume":"31","author":"E. G. Manes","year":"1985","unstructured":"E.G. Manes and D. Benson. The inverse semigroup of a sumordered semiring. Semigroup Forum, 31:129\u2013152, 1985.","journal-title":"Semigroup Forum"},{"issue":"6","key":"24_CR23","first-page":"A","volume":"24","author":"K. Segerberg","year":"1977","unstructured":"K. Segerberg. A completeness theorem in the modal logics of programs. Notices of the American Mathematical Society, 24:6, A\u2013552, 1977.","journal-title":"Notices of the American Mathematical Society"},{"key":"24_CR24","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/0022-0000(87)90011-0","volume":"35","author":"G. \u015etef\u0102nescu","year":"1987","unstructured":"G. \u015etef\u0102nescu. On flowchart theories: Part I. The deterministic case. Journal of Computer and System Science, (35):163\u2013191, 1987.","journal-title":"Journal of Computer and System Science"},{"key":"24_CR25","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1016\/0304-3975(87)90114-9","volume":"52","author":"G. \u015etef\u0102nescu","year":"1987","unstructured":"G. \u015etef\u0102nescu. On flowchart theories: Part II. The nondeterministic case. Theoretical Computer Science, 52:307\u2013340, 1987.","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Programming Semantics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55511-0_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:59:20Z","timestamp":1605628760000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55511-0_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540555117","9783540471943"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-55511-0_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}