{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T05:08:18Z","timestamp":1725599298200},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642228322"},{"type":"electronic","value":"9783642228339"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22833-9_43","type":"book-chapter","created":{"date-parts":[[2011,8,5]],"date-time":"2011-08-05T09:50:34Z","timestamp":1312537834000},"page":"357-364","source":"Crossref","is-referenced-by-count":0,"title":["The Semantics of wlp and slp of Fuzzy Imperative Programming Languages"],"prefix":"10.1007","author":[{"given":"Hengyang","family":"Wu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yixiang","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"43_CR1","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/0165-0114(80)90052-4","volume":"3","author":"J.M. Adamo","year":"1980","unstructured":"Adamo, J.M.: L.p.l. A fuzzy programming language: 1. syntactic aspects. Fuzzy Sets and Systems\u00a03, 151\u2013179 (1980)","journal-title":"Fuzzy Sets and Systems"},{"key":"43_CR2","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1016\/0165-0114(80)90024-X","volume":"3","author":"J.M. Adamo","year":"1980","unstructured":"Adamo, J.M.: L.p.l. A fuzzy programming language: 2. semantic aspects. Fuzzy Sets and Systems\u00a03, 261\u2013289 (1980)","journal-title":"Fuzzy Sets and Systems"},{"key":"43_CR3","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/S0165-0114(02)00547-X","volume":"141","author":"D.S. Alvarez","year":"2004","unstructured":"Alvarez, D.S., Antonio, F., Gomez, S.: A fuzzy language. Fuzzy Sets and Systems\u00a0141, 335\u2013390 (2004)","journal-title":"Fuzzy Sets and Systems"},{"key":"43_CR4","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0165-0114(93)90120-7","volume":"58","author":"R.M. Bueno","year":"1993","unstructured":"Bueno, R.M., Clares, B., Conejo, R., Perez de la Cruz, J.L.: An elementary fuzzy programming language. Fuzzy Sets and Systems\u00a058, 55\u201373 (1993)","journal-title":"Fuzzy Sets and Systems"},{"key":"43_CR5","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/S0165-0114(96)00028-0","volume":"87","author":"R.M. Bueno","year":"1997","unstructured":"Bueno, R.M., Perez de la Cruz, J.L., Conejo, R., Clares, B.: A family of fuzzy programming languages. Fuzzy Sets and Systems\u00a087, 167\u2013179 (1997)","journal-title":"Fuzzy Sets and Systems"},{"key":"43_CR6","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/0165-0114(91)90003-9","volume":"44","author":"D.F. Clark","year":"1991","unstructured":"Clark, D.F., Kandel, A.: HALO-a fuzzy programming language. Fuzzy Sets and Systems\u00a044, 199\u2013208 (1991)","journal-title":"Fuzzy Sets and Systems"},{"key":"43_CR7","doi-asserted-by":"publisher","first-page":"2661","DOI":"10.1016\/j.ins.2008.01.016","volume":"178","author":"Y.X. Chen","year":"2008","unstructured":"Chen, Y.X., Wu, H.Y.: Domain semantics of possibility computations. Information Sciences\u00a0178, 2661\u20132679 (2008)","journal-title":"Information Sciences"},{"key":"43_CR8","volume-title":"A Discipline of Programming","author":"E.W. Dijkstra","year":"1976","unstructured":"Dijkstra, E.W.: A Discipline of Programming. Prentice Hall International, Englewood Cliffs (1976)"},{"key":"43_CR9","doi-asserted-by":"crossref","first-page":"461","DOI":"10.1145\/322077.322088","volume":"25","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Some properties of predicate transformers. Journal of the Association for Computing Machinery\u00a025, 461\u2013480 (1978)","journal-title":"Journal of the Association for Computing Machinery"},{"key":"43_CR10","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S0167-6423(96)00019-6","volume":"28","author":"J.F. He","year":"1997","unstructured":"He, J.F., Seidel, K., McIver, A.K.: Probabilistic models for the guarded command language. Science of Computer Programming\u00a028, 171\u2013192 (1997)","journal-title":"Science of Computer Programming"},{"key":"43_CR11","unstructured":"Jones, C.: Probabilistic non-determinism. PhD thesis, University of Edinburgh, Edinburgh (1990)"},{"key":"43_CR12","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1145\/229542.229547","volume":"8","author":"C. Morgan","year":"1996","unstructured":"Morgan, C., McIver, A.K., Seidel, K.: Probabilistic predicate transformers. ACM Trans. Programming Languages and Systems\u00a08, 325\u2013353 (1996)","journal-title":"ACM Trans. Programming Languages and Systems"},{"key":"43_CR13","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1137\/0205035","volume":"5","author":"G.D. Plotkin","year":"1976","unstructured":"Plotkin, G.D.: A powerdomains construction. SIAM Journal on Computing\u00a05, 452\u2013487 (1976)","journal-title":"SIAM Journal on Computing"},{"key":"43_CR14","unstructured":"Plotkin, G.D.: An structural approach to operational semantics. Technical Report DAIMI FN-19. Computer Science Department, Aarhus University (1981)"},{"key":"43_CR15","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/0022-0000(78)90048-X","volume":"16","author":"M.B. Smyth","year":"1978","unstructured":"Smyth, M.B.: Powerdomain. Journal of Computer and Systems Sciences\u00a016, 23\u201336 (1978)","journal-title":"Journal of Computer and Systems Sciences"},{"key":"43_CR16","volume-title":"Denotational semantics: The Scott-Strachey approach to programming language theory","author":"J.E. Stoy","year":"1977","unstructured":"Stoy, J.E.: Denotational semantics: The Scott-Strachey approach to programming language theory. MIT Press, Cambridge (1977)"},{"key":"43_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.entcs.2004.06.063","volume":"129","author":"R. Tix","year":"2005","unstructured":"Tix, R., Keimel, K., Plotkin, G.D.: Semantics domains for combining probability and non-determinism. Electronic Notes in Theoretical Computer Science\u00a0129, 1\u2013104 (2005)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"43_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artmed.2010.01.003","volume":"49","author":"T. Vetterlein","year":"2010","unstructured":"Vetterlein, T., Mandl, H., Adlassnig, K.P.: Fuzzy Arden Syntax: A fuzzy programming language for medicine. Artificial Intelligence in Medicine\u00a049, 1\u201310 (2010)","journal-title":"Artificial Intelligence in Medicine"},{"key":"43_CR19","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/s00236-003-0113-z","volume":"39","author":"M.S. Ying","year":"2003","unstructured":"Ying, M.S.: Reasoning about probabilistic sequential programs in a probabilistic logic. Acta Informatica\u00a039, 315\u2013389 (2003)","journal-title":"Acta Informatica"},{"key":"43_CR20","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"L.A. Zadeh","year":"1965","unstructured":"Zadeh, L.A.: Fuzzy sets. Information and Control\u00a08, 338\u2013353 (1965)","journal-title":"Information and Control"}],"container-title":["Advances in Intelligent and Soft Computing","Nonlinear Mathematics for Uncertainty and its Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22833-9_43.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T11:37:28Z","timestamp":1620041848000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22833-9_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642228322","9783642228339"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22833-9_43","relation":{},"ISSN":["1867-5662","1867-5670"],"issn-type":[{"type":"print","value":"1867-5662"},{"type":"electronic","value":"1867-5670"}],"subject":[],"published":{"date-parts":[[2011]]}}}