乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:09:32Z","timestamp":1725664172174},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540600459"},{"type":"electronic","value":"9783540494133"}],"license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60045-0_58","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:36:33Z","timestamp":1330277793000},"page":"293-308","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":23,"title":["Compositional and inductive semantic definitions in fixpoint, equational, constraint, closure-condition, rule-based and game-theoretic form"],"prefix":"10.1007","author":[{"given":"Patrick","family":"Cousot","sequence":"first","affiliation":[]},{"given":"Radhia","family":"Cousot","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"24_CR1","first-page":"1","volume":"789","author":"S. Abramsky","year":"1994","unstructured":"S. Abramsky, R. Jagadeesan, & P. Malacaria. Full abstraction for PCF (extended abstract). Proc. TACS'94, LNCS 789, 1\u201315, 1994.","journal-title":"LNCS"},{"key":"24_CR2","doi-asserted-by":"crossref","unstructured":"P. Aczel. An introduction to inductive definitions. In J. Barwise, ed., Handbook of Mathematical Logic, vol. 90, 739\u2013782. Elsevier, 1977.","DOI":"10.1016\/S0049-237X(08)71120-0"},{"key":"24_CR3","unstructured":"J. Berstel & L. Boasson. Context-free languages. In [18], ch. 2, 61\u2013102."},{"key":"24_CR4","unstructured":"P. Cousot. Methods and logics for proving programs. In [18], ch. 15, 843\u2013993."},{"key":"24_CR5","first-page":"237","volume-title":"Static determination of dynamic properties of recursive procedures","author":"P. Cousot","year":"1977","unstructured":"P. Cousot et R. Cousot. Static determination of dynamic properties of recursive procedures. In E. Neuhold, ed., IFIP Conference on Formal Description of Programming Concepts, St-Andrews, N.B., Canada, 237\u2013277. North-Holland Pub. Co., 1977."},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"P. Cousot & R. Cousot. Systematic design of program analysis frameworks. In 6\n\n th\n ACM POPL, 269\u2013282, 1979.","DOI":"10.1145\/567752.567778"},{"issue":"2","key":"24_CR7","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/0890-5401(89)90018-7","volume":"80","author":"P. Cousot","year":"1989","unstructured":"P. Cousot & R. Cousot. A language independent proof of the soundness and completeness of generalized Hoare logic. Inf. & Comp., 80(2):165\u2013191, 1989.","journal-title":"Inf. & Comp."},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"P. Cousot & R. Cousot. Inductive definitions, semantics and abstract interpretation. In 196\n\n th\n ACM POPL, 83\u201394, 1992.","DOI":"10.1145\/143165.143184"},{"key":"24_CR9","unstructured":"P. Cousot & R. Cousot. Higher-order abstract interpretation (and application to comportment analysis generalizing strictness, termination, projection and PER analysis of functional languages). In Proc. IEEE 1994 ICCL, 95\u2013112, 1994."},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"L. Damas & R. Milner. Principle type schemes for functional programs. In 96\n\n th\n ACM POPL, 207\u2013212, 1982.","DOI":"10.1145\/582153.582176"},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"N. Heintze. Set-based analysis of ML programs (extended abstract). In Proc. ACM Conf. Lisp & Func. Prog., 1994.","DOI":"10.21236\/ADA270597"},{"issue":"10","key":"24_CR12","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C. A. R. Hoare","year":"1969","unstructured":"C. A. R. Hoare. An axiomatic basis for computer programming. Comm. ACM, 12(10):576\u2013580, 583, 1969.","journal-title":"Comm. ACM"},{"key":"24_CR13","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0890-5401(89)90070-9","volume":"81","author":"R. Milner","year":"1989","unstructured":"R. Milner. A complete axiomatization for observational congruence of finite state behaviors. Inf. & Comp., 81:227\u2013247, 1989.","journal-title":"Inf. & Comp."},{"key":"24_CR14","doi-asserted-by":"crossref","unstructured":"P. D. Mosses. Denotational semantics. In [18], ch. 11, 575\u2013631.","DOI":"10.1016\/B978-0-444-88074-1.50016-0"},{"key":"24_CR15","doi-asserted-by":"crossref","unstructured":"J. Palsberg & P. O'Keefe. A type system equivalent to flow analysis. In 226\n\n th\n ACM POPL, 367\u2013378, 1995.","DOI":"10.1145\/199448.199533"},{"key":"24_CR16","unstructured":"J. Palsberg & M. I. Schwartzbach. Binding-time analysis: Abstract interpretation versus type inference. In Proc. IEEE 1994 ICCL, 289\u2013298, 1994."},{"key":"24_CR17","volume-title":"Tech. Rep. DAIMI FN-19","author":"G. D. Plotkin","year":"1981","unstructured":"G. D. Plotkin. A structural approach to operational semantics. Tech. Rep. DAIMI FN-19, Aarhus University, (DK), Sept. 1981."},{"key":"24_CR18","unstructured":"J. van Leeuwen, ed. Formal Models and Semantics, vol. B of Handbook of Theoretical Computer Science. Elsevier, 1990."},{"key":"24_CR19","doi-asserted-by":"crossref","unstructured":"M. Wirsing. Algebraic specifications. In [18], ch. 13, 675\u2013788.","DOI":"10.1016\/B978-0-444-88074-1.50018-4"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60045-0_58","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T23:55:00Z","timestamp":1578527700000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60045-0_58"}},"subtitle":["Invited paper"],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540600459","9783540494133"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-60045-0_58","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]},"assertion":[{"value":"31 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}