{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:38:47Z","timestamp":1742913527190,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319328584"},{"type":"electronic","value":"9783319328591"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-32859-1_51","type":"book-chapter","created":{"date-parts":[[2016,4,15]],"date-time":"2016-04-15T11:12:06Z","timestamp":1460718726000},"page":"596-610","source":"Crossref","is-referenced-by-count":1,"title":["Relative Hilbert-Post Completeness for Exceptions"],"prefix":"10.1007","author":[{"given":"Jean-Guillaume","family":"Dumas","sequence":"first","affiliation":[]},{"given":"Dominique","family":"Duval","sequence":"additional","affiliation":[]},{"given":"Burak","family":"Ekici","sequence":"additional","affiliation":[]},{"given":"Damien","family":"Pous","sequence":"additional","affiliation":[]},{"given":"Jean-Claude","family":"Reynaud","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,4,16]]},"reference":[{"key":"51_CR1","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1016\/j.jlamp.2014.02.001","volume":"84","author":"A Bauer","year":"2015","unstructured":"Bauer, A., Pretnar, M.: Programming with algebraic effects and handlers. J. Log. Algebr. Methods Program. 84, 108\u2013123 (2015)","journal-title":"J. Log. Algebr. Methods Program."},{"key":"51_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/3-540-45699-6_2","volume-title":"Applied Semantics","author":"N Benton","year":"2002","unstructured":"Benton, N., Hughes, J., Moggi, E.: Monads and effects. In: Barthe, G., Dybjer, P., Pinto, L., Saraiva, J. (eds.) APPSEM 2000. LNCS, vol. 2395, pp. 42\u2013122. Springer, Heidelberg (2002)"},{"key":"51_CR3","unstructured":"C++ Working Draft: Standard for Programming Language C++. ISO\/IEC JTC1\/SC22\/WG21 standard 14882:2011"},{"key":"51_CR4","doi-asserted-by":"publisher","first-page":"639","DOI":"10.1017\/S0960129510000150","volume":"20","author":"C Dom\u00ednguez","year":"2010","unstructured":"Dom\u00ednguez, C., Duval, D.: Diagrammatic logic applied to a parameterisation process. Math. Struct. Comput. Sci. 20, 639\u2013654 (2010)","journal-title":"Math. Struct. Comput. Sci."},{"key":"51_CR5","doi-asserted-by":"crossref","first-page":"45","DOI":"10.4204\/EPTCS.93.3","volume":"93","author":"Jean-Guillaume Dumas","year":"2012","unstructured":"Dumas, J.-G., Duval, D., Fousse, L., Reynaud, J.-C.: Decorated proofs for computational effects: states. In: ACCAT 2012, Electronic Proceedings in Theoretical Computer Science 93, pp. 45\u201359 (2012)","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"key":"51_CR6","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1017\/S0960129511000752","volume":"22","author":"J-G Dumas","year":"2012","unstructured":"Dumas, J.-G., Duval, D., Fousse, L., Reynaud, J.-C.: A duality between exceptions and states. Math. Struct. Comput. Sci. 22, 719\u2013722 (2012)","journal-title":"Math. Struct. Comput. Sci."},{"key":"51_CR7","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1016\/j.jsc.2010.09.008","volume":"46","author":"J-G Dumas","year":"2011","unstructured":"Dumas, J.-G., Duval, D., Reynaud, J.-C.: Cartesian effect categories are Freyd-categories. J. Symb. Comput. 46, 272\u2013293 (2011)","journal-title":"J. Symb. Comput."},{"key":"51_CR8","unstructured":"Dumas, J.-G., Duval, D., Ekici, B., Reynaud, J.-C.: Certified proofs in programs involving exceptions. In: CICM 2014, CEUR Workshop Proceedings 1186 (2014)"},{"key":"51_CR9","unstructured":"Dumas, J.-G., Duval, D., Ekici, B., Pous, D.: Formal verification in Coq of program properties involving the global state. In: JFLA 2014, pp. 1\u201315 (2014)"},{"key":"51_CR10","doi-asserted-by":"crossref","unstructured":"Dumas, J.-G., Duval, D., Ekici, B., Pous, D., Reynaud, J.-C.: Hilbert-post completeness for the state and the exception effects (2015). \n                      arXiv:1503.00948\n                      \n                     [v3]","DOI":"10.1007\/978-3-319-32859-1_51"},{"key":"51_CR11","unstructured":"Gosling, J., Joy, B., Steele, G., Bracha, G.: The Java Language Specification, 3rd edn. Addison-Wesley (2005)"},{"key":"51_CR12","unstructured":"Idris. The Effects Tutorial"},{"key":"51_CR13","doi-asserted-by":"crossref","unstructured":"Lucassen, J.M., Gifford, D.K.: Polymorphic effect systems. In: POPL. ACM Press, pp. 47\u201357 (1988)","DOI":"10.1145\/73560.73564"},{"issue":"1","key":"51_CR14","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","volume":"93","author":"E Moggi","year":"1991","unstructured":"Moggi, E.: Notions of computation and monads. Inf. Comput. 93(1), 55\u201392 (1991)","journal-title":"Inf. Comput."},{"key":"51_CR15","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/s00165-010-0153-4","volume":"22","author":"T Mossakowski","year":"2010","unstructured":"Mossakowski, T., Schr\u00f6der, L., Goncharov, S.: A generic complete dynamic logic for reasoning about purity and effects. Form. Asp. Comput. 22, 363\u2013384 (2010)","journal-title":"Form. Asp. Comput."},{"issue":"9","key":"51_CR16","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1145\/2692915.2628160","volume":"49","author":"Tomas Petricek","year":"2014","unstructured":"Petricek, T., Orchard, D.A., Mycroft, A.: Coeffects: a calculus of context-dependent computation. In: Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming, pp. 123\u2013135 (2014)","journal-title":"ACM SIGPLAN Notices"},{"key":"51_CR17","unstructured":"Pretnar, M.: The logic and handling of algebraic effects. Ph.D. University of Edinburgh (2010)"},{"key":"51_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/3-540-45931-6_24","volume-title":"Foundations of Software Science and Computation Structures","author":"G Plotkin","year":"2002","unstructured":"Plotkin, G., Power, J.: Notions of computation determine monads. In: Engberg, U., Nielsen, M. (eds.) FOSSACS 2002. LNCS, vol. 2303, pp. 342\u2013356. Springer, Heidelberg (2002)"},{"key":"51_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/978-3-642-00590-9_7","volume-title":"Programming Languages and Systems","author":"G Plotkin","year":"2009","unstructured":"Plotkin, G., Pretnar, M.: Handlers of algebraic effects. In: Castagna, G. (ed.) ESOP 2009. LNCS, vol. 5502, pp. 80\u201394. Springer, Heidelberg (2009)"},{"key":"51_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-642-12032-9_5","volume-title":"Foundations of Software Science and Computational Structures","author":"S Staton","year":"2010","unstructured":"Staton, S.: Completeness for algebraic theories of local state. In: Ong, L. (ed.) FOSSACS 2010. LNCS, vol. 6014, pp. 48\u201363. Springer, Heidelberg (2010)"},{"key":"51_CR21","unstructured":"Tarski, A.: III On some fundamental concepts in mathematics. In: Logic, Semantics, Metamathematics: Papers from 1923 to 1938 by Alfred Tarski, pp. 30\u201337. Oxford University Press (1956)"},{"key":"51_CR22","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/j.entcs.2008.05.029","volume":"203","author":"T Uustalu","year":"2008","unstructured":"Uustalu, T., Vene, V.: Comonadic notions of computation. Electr. Notes Theor. Comput. Sci. 203, 263\u2013284 (2008)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"51_CR23","unstructured":"Ynot. The Ynot Project"}],"container-title":["Lecture Notes in Computer Science","Mathematical Aspects of Computer and Information Sciences"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-32859-1_51","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T20:30:12Z","timestamp":1559421012000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-32859-1_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319328584","9783319328591"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-32859-1_51","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}