乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T01:35:32Z","timestamp":1725672932082},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,9,7]]},"DOI":"10.1145\/1599410.1599446","type":"proceedings-article","created":{"date-parts":[[2009,9,8]],"date-time":"2009-09-08T12:53:09Z","timestamp":1252414389000},"page":"289-300","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Context-based proofs of termination for typed delimited-control operators"],"prefix":"10.1145","author":[{"given":"Malgorzata","family":"Biernacka","sequence":"first","affiliation":[{"name":"University of Wroclaw, Wroclaw, Poland"}]},{"given":"Dariusz","family":"Biernacki","sequence":"additional","affiliation":[{"name":"University of Wroclaw, Wroclaw, Poland"}]}],"member":"320","published-online":{"date-parts":[[2009,9,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-007-9007-z"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/503032.503034"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1014007.1014009"},{"first-page":"413","volume-title":"Proceedings of the Sixth Symposium on Trends in Functional Programming (TFP 2005","year":"2005","author":"Asai Kenichi","key":"e_1_3_2_1_4_1"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/1784774.1784797"},{"volume-title":"Utrecht","year":"1993","author":"Berger Ulrich","key":"e_1_3_2_1_6_1"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-006-6604-5"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1991.151645"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2009.07.090"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Malgorzata Biernacka Dariusz Biernacki and Olivier Danvy. An operational foundation for delimited continuations in the CPS hierarchy. Logical Methods in Computer Science 1(2:5):1--39 November 2005. A preliminary version was presented at the Fourth ACM SIGPLAN Workshop on Continuations (CW'04). Malgorzata Biernacka Dariusz Biernacki and Olivier Danvy. An operational foundation for delimited continuations in the CPS hierarchy. Logical Methods in Computer Science 1(2:5):1--39 November 2005. A preliminary version was presented at the Fourth ACM SIGPLAN Workshop on Continuations (CW'04).","DOI":"10.2168\/LMCS-1(2:5)2005"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Malgorzata\n \n Biernacka Olivier\n \n Danvy and \n \n \n Kristian\n \n Stovring\n .\n \n \n \n Program extraction from proofs of weak head normalization. In Martin Escardo Achim Jung and Michael Mislove editors Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics(MFPS XXI) volume \n 155\n of \n Electronic Notes in Theoretical Computer Science pages \n 169\n --\n 189 Birmingham UK May \n 2005\n . \n Elsevier Science Publishers\n . Extended version available as the research report BRICS RS-05-12. Malgorzata Biernacka Olivier Danvy and Kristian Stovring. Program extraction from proofs of weak head normalization. In Martin Escardo Achim Jung and Michael Mislove editors Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics(MFPS XXI) volume 155 of Electronic Notes in Theoretical Computer Science pages 169--189 Birmingham UK May 2005. Elsevier Science Publishers. Extended version available as the research report BRICS RS-05-12.","DOI":"10.1016\/j.entcs.2005.11.056"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Dariusz\n \n Biernacki\n and \n \n \n Olivier\n \n Danvy\n .\n \n \n \n From interpreter to logic engine by defunctionalization. In Maurice Bruynooghe editor Logic Based Program Synthesis and Transformation 13th International Symposium LOPSTR\n \n 2003 number 3018 in \n Lecture Notes in Computer Science pages \n 143\n --\n 159 Uppsala Sweden August 2003. \n Springer-Verlag\n . Dariusz Biernacki and Olivier Danvy. From interpreter to logic engine by defunctionalization. In Maurice Bruynooghe editor Logic Based Program Synthesis and Transformation 13th International Symposium LOPSTR 2003 number 3018 in Lecture Notes in Computer Science pages 143--159 Uppsala Sweden August 2003. Springer-Verlag.","DOI":"10.1007\/978-3-540-25938-1_13"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2006.01.002"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129596002150"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237784"},{"volume-title":"Proceedings of the Fourth ACM SIGPLAN Workshop on Continuations (CW'04)","year":"2004","author":"Danvy Olivier","key":"e_1_3_2_1_16_1"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411204.1411206"},{"volume-title":"University of Copenhagen","year":"1989","author":"Danvy Olivier","key":"e_1_3_2_1_18_1"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/91556.91622"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129500001535"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"Peter Dybjer and Andrzej Filinski. Normalization and partial evaluation. In Gilles Barthe Peter Dybjer Luis Pinto and Joao Saraiva editors Applied Semantics -- Advanced Lectures number 2395 in Lecture Notes in Computer Science pages 137--192 Caminha Portugal September 2000. Springer-Verlag. Peter Dybjer and Andrzej Filinski. Normalization and partial evaluation. In Gilles Barthe Peter Dybjer Luis Pinto and Joao Saraiva editors Applied Semantics -- Advanced Lectures number 2395 in Lecture Notes in Computer Science pages 137--192 Caminha Portugal September 2000. Springer-Verlag.","DOI":"10.1007\/3-540-45699-6_4"},{"volume-title":"Indiana University","year":"1987","author":"Felleisen Matthias","key":"e_1_3_2_1_22_1"},{"first-page":"193","volume-title":"Formal Description of Programming Concepts III","year":"1986","author":"Felleisen Matthias","key":"e_1_3_2_1_23_1"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/174675.178047"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292557"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/99583.99608"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328484"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"Yukiyoshi\n \n Kameyama\n .\n \n \n \n Axioms for delimited continuations in the CPS hierarchy. In Jerzy Marcinkowski and Andrzej Tarlecki editors Computer Science Logic 18th International Workshop CSL\n \n 2004 13th Annual Conference of the EACSL Proceedings volume \n 3210\n of \n Lecture Notes in Computer Science pages \n 442\n --\n 457 Karpacz Poland September 2004. \n Springer\n . Yukiyoshi Kameyama. Axioms for delimited continuations in the CPS hierarchy. In Jerzy Marcinkowski and Andrzej Tarlecki editors Computer Science Logic 18th International Workshop CSL 2004 13th Annual Conference of the EACSL Proceedings volume 3210 of Lecture Notes in Computer Science pages 442--457 Karpacz Poland September 2004. Springer.","DOI":"10.1007\/978-3-540-30124-0_34"},{"volume-title":"Proceedings of the Austrian--Japanese Workshop on Symbolic Computation in Software Science (SCSS 2008","year":"2008","author":"Kameyama Yukiyoshi","key":"e_1_3_2_1_29_1"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944722"},{"volume-title":"Proceedings of the 2008 Workshop on Symmetric calculi and Ludics for the semantic interpretation","year":"2008","author":"Kiselyov Oleg","key":"e_1_3_2_1_31_1"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086390"},{"volume-title":"Proceedings of the First ACM SIGPLAN Workshop on Continuations (CW'92)","year":"1992","author":"Murthy Chethan R.","key":"e_1_3_2_1_33_1"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(75)90017-1"},{"volume-title":"Proceedings of the Fourth ACM SIGPLAN Workshop on Continuations (CW'04)","year":"2004","key":"e_1_3_2_1_35_1"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.2307\/2271658"},{"volume-title":"Proceedings of the Fourth ACM SIGPLAN Workshop on Continuations (CW'04)","year":"2004","author":"Thielecke Hayo","key":"e_1_3_2_1_38_1"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796899003469"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"crossref","unstructured":"Anne S.\n \n Troelstra editor. \n Metamathematical Investigation of Intuitionistic Arithmetic and Analysis volume \n 344\n of \n Lecture Notes in Mathematics\n . \n Springer-Verlag 1973\n . Anne S. Troelstra editor. Metamathematical Investigation of Intuitionistic Arithmetic and Analysis volume 344 of Lecture Notes in Mathematics. Springer-Verlag 1973.","DOI":"10.1007\/BFb0066739"}],"event":{"name":"PPDP '09: Principles and Practice of Declarative Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Coimbra Portugal","acronym":"PPDP '09"},"container-title":["Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1599410.1599446","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,11]],"date-time":"2023-01-11T20:01:25Z","timestamp":1673467285000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1599410.1599446"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,9,7]]},"references-count":39,"alternative-id":["10.1145\/1599410.1599446","10.1145\/1599410"],"URL":"https:\/\/doi.org\/10.1145\/1599410.1599446","relation":{},"subject":[],"published":{"date-parts":[[2009,9,7]]},"assertion":[{"value":"2009-09-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}