乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T18:56:29Z","timestamp":1730314589848,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":37,"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.1599423","type":"proceedings-article","created":{"date-parts":[[2009,9,8]],"date-time":"2009-09-08T08:53:09Z","timestamp":1252399989000},"page":"93-104","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["An Isabelle\/HOL-based model of stratego-like traversal strategies"],"prefix":"10.1145","author":[{"given":"Markus","family":"Kaiser","sequence":"first","affiliation":[{"name":"Universit\u00e4t Koblenz-Landau, Koblenz, Germany"}]},{"given":"Ralf","family":"L\u00e4mmel","sequence":"additional","affiliation":[{"name":"Universit\u00e4t Koblenz-Landau, Koblenz, Germany"}]}],"member":"320","published-online":{"date-parts":[[2009,9,7]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Handbook of Logic in Computer Science","author":"Abramsky S.","year":"1992","unstructured":"S. Abramsky , D.M. Gabbay , and T. Maibaum , editors . Handbook of Logic in Computer Science , Volume 2 , Background : Computational Structures. Oxford Science , 1992 . S. Abramsky, D.M. Gabbay, and T. Maibaum, editors. Handbook of Logic in Computer Science, Volume 2, Background: Computational Structures. Oxford Science, 1992."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85110-3_30"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/11541868_4"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1779782.1779787"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054101000412"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111542.1111558"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1244381.1244385"},{"key":"e_1_3_2_1_8_1","first-page":"42","article-title":"Embedding Display Calculi into Logical Frameworks","author":"Dawson J.E.","year":"2001","unstructured":"J.E. Dawson and R. Gor\u00e9 . Embedding Display Calculi into Logical Frameworks : Comparing Twelf and Isabelle. ENTCS , 42 , 2001 . J.E. Dawson and R. Gor\u00e9. Embedding Display Calculi into Logical Frameworks: Comparing Twelf and Isabelle. ENTCS, 42, 2001.","journal-title":"Comparing Twelf and Isabelle. ENTCS"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/1765236.1765246"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1462179.1462182"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/512760.512773"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/11737414_3"},{"key":"e_1_3_2_1_14_1","volume-title":"Strategic computations and deductions. Festschrift for Peter Andrews. Available online at http:\/\/www.lix.polytechnique.fr\/ fkirchner\/data\/festschrift2008.pdf","author":"Kirchner C.","year":"2008","unstructured":"C. Kirchner , F. Kirchner , and H. Kirchner . Strategic computations and deductions. Festschrift for Peter Andrews. Available online at http:\/\/www.lix.polytechnique.fr\/ fkirchner\/data\/festschrift2008.pdf , 2008 . C. Kirchner, F. Kirchner, and H. Kirchner. Strategic computations and deductions. Festschrift for Peter Andrews. Available online at http:\/\/www.lix.polytechnique.fr\/ fkirchner\/data\/festschrift2008.pdf, 2008."},{"key":"e_1_3_2_1_15_1","first-page":"36","article-title":"Termination and normalisation under strategy Proofs","author":"Kirchner H.","year":"2000","unstructured":"H. Kirchner and I. Gnaedig . Termination and normalisation under strategy Proofs in ELAN. ENTCS , 36 , 2000 . H. Kirchner and I. Gnaedig. Termination and normalisation under strategy Proofs in ELAN. ENTCS, 36, 2000.","journal-title":"ELAN. ENTCS"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146809.1146811"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1567-8326(02)00028-0"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/604174.604179"},{"key":"e_1_3_2_1_19_1","volume-title":"Programming errors in traversal programs over structured data. ENTCS","author":"L\u00e4mmel R.","year":"2008","unstructured":"R. L\u00e4mmel , S. Thompson , and M. Kaiser . Programming errors in traversal programs over structured data. ENTCS , 2008 . Selected papers of LDTA 2008, Volume number not yet known. R. L\u00e4mmel, S. Thompson, and M. Kaiser. Programming errors in traversal programs over structured data. ENTCS, 2008. Selected papers of LDTA 2008, Volume number not yet known."},{"key":"e_1_3_2_1_20_1","volume-title":"The essence of strategic programming. Unpublished manuscript available online http:\/\/www.program-transformation.org\/Transform\/TheEssenceOfStrategicProgramming","author":"L\u00e4mmel R.","year":"2002","unstructured":"R. L\u00e4mmel , E. Visser , and J. Visser . The essence of strategic programming. Unpublished manuscript available online http:\/\/www.program-transformation.org\/Transform\/TheEssenceOfStrategicProgramming , 2002 . R. L\u00e4mmel, E. Visser, and J. Visser. The essence of strategic programming. Unpublished manuscript available online http:\/\/www.program-transformation.org\/Transform\/TheEssenceOfStrategicProgramming, 2002."},{"key":"e_1_3_2_1_21_1","series-title":"LNCS","first-page":"137","volume-title":"PADL'02: Proceedings of Practical Aspects of Declarative Programming","author":"L\u00e4mmel R.","year":"2002","unstructured":"R. L\u00e4mmel and J. Visser . Typed Combinators for Generic Traversal . In PADL'02: Proceedings of Practical Aspects of Declarative Programming , volume 2257 of LNCS , pages 137 -- 154 . Springer , Jan. 2002 . R. L\u00e4mmel and J. Visser. Typed Combinators for Generic Traversal. In PADL'02: Proceedings of Practical Aspects of Declarative Programming, volume 2257 of LNCS, pages 137--154. Springer, Jan. 2002."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2009.05.022"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01213535"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01887212"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1006496715975"},{"key":"e_1_3_2_1_26_1","series-title":"LNCS","volume-title":"Isabelle\/HOL -- A Proof Assistant for Higher-Order Logic","author":"Nipkow T.","year":"2002","unstructured":"T. Nipkow , L. Paulson , and M. Wenzel . Isabelle\/HOL -- A Proof Assistant for Higher-Order Logic , volume 2283 of LNCS . Springer , 2002 . T. Nipkow, L. Paulson, and M. Wenzel. Isabelle\/HOL -- A Proof Assistant for Higher-Order Logic, volume 2283 of LNCS. Springer, 2002."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-003-0003-8"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00127-4"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(83)90008-4"},{"key":"e_1_3_2_1_30_1","volume-title":"Isabelle website","author":"Paulson L.","year":"2008","unstructured":"L. Paulson and T. Nipkow . Isabelle website , 2008 . http:\/\/isabelle.in.tum.de. L. Paulson and T. Nipkow. Isabelle website, 2008. http:\/\/isabelle.in.tum.de."},{"key":"e_1_3_2_1_31_1","first-page":"17","volume-title":"Trends in Functional Programming","author":"Reig F.","year":"2004","unstructured":"F. Reig . Generic proofs for combinator-based generic programs . In Trends in Functional Programming , pages 17 -- 32 , 2004 . F. Reig. Generic proofs for combinator-based generic programs. In Trends in Functional Programming, pages 17--32, 2004."},{"key":"e_1_3_2_1_32_1","first-page":"178","volume-title":"Theorem Proving in Higher-Order Logic: Emerging Trends Proceedings, Uni Kaiserslautern -- Computer Science TR 364\/07","author":"Torrini P.","year":"2007","unstructured":"P. Torrini , C. Lueth , C. Maeder , and T. Mossakowski . Translating Haskell to Isabelle . In Theorem Proving in Higher-Order Logic: Emerging Trends Proceedings, Uni Kaiserslautern -- Computer Science TR 364\/07 , pages 178 -- 193 , 2007 . P. Torrini, C. Lueth, C. Maeder, and T. Mossakowski. Translating Haskell to Isabelle. In Theorem Proving in Higher-Order Logic: Emerging Trends Proceedings, Uni Kaiserslautern -- Computer Science TR 364\/07, pages 178--193, 2007."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/941566.941568"},{"key":"e_1_3_2_1_34_1","series-title":"LNCS","first-page":"216","volume-title":"Strategies, Tools, and Systems in Stratego\/XT 0.9. In Domain-Specific Program Generation","author":"Visser E.","year":"2003","unstructured":"E. Visser . Program Transformation with Stratego\/XT: Rules , Strategies, Tools, and Systems in Stratego\/XT 0.9. In Domain-Specific Program Generation , Dagstuhl Seminar, 2003 , Revised Papers, volume 3016 of LNCS , pages 216 -- 238 . Springer , 2004. E. Visser. Program Transformation with Stratego\/XT: Rules, Strategies, Tools, and Systems in Stratego\/XT 0.9. In Domain-Specific Program Generation, Dagstuhl Seminar, 2003, Revised Papers, volume 3016 of LNCS, pages 216--238. Springer, 2004."},{"key":"e_1_3_2_1_35_1","volume-title":"Benaissa. A Core Language for Rewriting. In Second International Workshop on Rewriting Logic and its Applications (WRLA 1998","volume":"15","author":"Visser E.","year":"1998","unstructured":"E. Visser and Z.-e.- A. Benaissa. A Core Language for Rewriting. In Second International Workshop on Rewriting Logic and its Applications (WRLA 1998 ), volume 15 of ENTCS. Elsevier Science Publishers , 1998 . E. Visser and Z.-e.-A. Benaissa. A Core Language for Rewriting. In Second International Workshop on Rewriting Logic and its Applications (WRLA 1998), volume 15 of ENTCS. Elsevier Science Publishers, 1998."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/289423.289425"},{"key":"e_1_3_2_1_37_1","volume-title":"University of Amsterdam","author":"Visser J.","year":"2003","unstructured":"J. Visser . Generic Traversal over Typed Source Code Representations. PhD thesis , University of Amsterdam , 2003 . J. Visser. Generic Traversal over Typed Source Code Representations. PhD thesis, University of Amsterdam, 2003."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167503"}],"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.1599423","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,11]],"date-time":"2023-01-11T14:59:45Z","timestamp":1673449185000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1599410.1599423"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,9,7]]},"references-count":37,"alternative-id":["10.1145\/1599410.1599423","10.1145\/1599410"],"URL":"https:\/\/doi.org\/10.1145\/1599410.1599423","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"}}]}}