{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,2]],"date-time":"2024-03-02T08:48:13Z","timestamp":1709369293683},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[1999,11]]},"DOI":"10.1145\/328690.328698","type":"proceedings-article","created":{"date-parts":[[2004,2,3]],"date-time":"2004-02-03T17:32:14Z","timestamp":1075829534000},"update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Using regular approximations for generalisation during partial evalution"],"prefix":"10.1145","author":[{"given":"John P.","family":"Gallagher","sequence":"first","affiliation":[{"name":"University of Bristol, Department of Computer Science, Bristol BS8 1UB, UK"}]},{"given":"Julio C.","family":"Peralta","sequence":"additional","affiliation":[{"name":"University of Bristol, Department of Computer Science, Bristol BS8 1UB, UK"}]}],"member":"320","published-online":{"date-parts":[[1999,11]]},"reference":[{"key":"e_1_3_2_1_1_2","unstructured":"H. Comon M. Dauchet R. Gilleron F. Jacquemard D. Lugiez S. Tison and M. Tommasi. Tree Automata Techniques and Applications. http:\/\/www.grappa.univlille.fr\/tata 1999.]] H. Comon M. Dauchet R. Gilleron F. Jacquemard D. Lugiez S. Tison and M. Tommasi. Tree Automata Techniques and Applications. http:\/\/www.grappa.univlille.fr\/tata 1999.]]"},{"key":"e_1_3_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1145\/224164.224199"},{"key":"e_1_3_2_1_3_2","volume-title":"Springer-Verlag Workshops in Computing","author":"Gallagher D.","year":"1992","unstructured":"D. de Waa! and J. Gallagher . Specialisation of a unification algorithm. In T. Clement and K.-K. Lau, editors, Logic Program Synthesis and Transformation: (LOPSTR-91, Manchester) . Springer-Verlag Workshops in Computing , 1992 .]] D. de Waa! and J. Gallagher. Specialisation of a unification algorithm. In T. Clement and K.-K. Lau, editors, Logic Program Synthesis and Transformation: (LOPSTR-91, Manchester). Springer-Verlag Workshops in Computing, 1992.]]"},{"key":"e_1_3_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1145\/154630.154640"},{"key":"e_1_3_2_1_6_2","volume-title":"Proceedings of the International Conference on Logic Programming (ICLP'94)","author":"Gallagher J.","year":"1994","unstructured":"J. Gallagher and D. de Waal . Fast and precise regular approximation of logic programs. In P. V. Hentenryck, editor , Proceedings of the International Conference on Logic Programming (ICLP'94) , Santa Margherita Ligure, italy. MIT Press , 1994 .]] J. Gallagher and D. de Waal. Fast and precise regular approximation of logic programs. In P. V. Hentenryck, editor, Proceedings of the International Conference on Logic Programming (ICLP'94), Santa Margherita Ligure, italy. MIT Press, 1994.]]"},{"key":"e_1_3_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.5555\/647372.724055"},{"key":"e_1_3_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)00021-W"},{"key":"e_1_3_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(92)90032-X"},{"key":"e_1_3_2_1_10_2","doi-asserted-by":"publisher","DOI":"10.5555\/647166.760064"},{"key":"e_1_3_2_1_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/582153.582161"},{"key":"e_1_3_2_1_14_2","first-page":"230","volume-title":"Proceedings of the Symposium on Static Analysis (SAS'98)","volume":"1503","author":"Leuschel M.","year":"1998","unstructured":"M. Leuschel . On the power of homeomorphic embedding for online termination. In G. Levi, editor , Proceedings of the Symposium on Static Analysis (SAS'98) , volume 1503 , pages 230 - 245 . Springer Verlag Lecture Notes in Computer Science , 1998 .]] M. Leuschel. On the power of homeomorphic embedding for online termination. In G. Levi, editor, Proceedings of the Symposium on Static Analysis (SAS'98), volume 1503, pages 230- 245. Springer Verlag Lecture Notes in Computer Science, 1998.]]"},{"key":"e_1_3_2_1_15_2","first-page":"220","volume-title":"Proceedings of the Joint International Conference and Symposium on Logic Programming JICSLP'98","author":"Leuschel M.","year":"1998","unstructured":"M. Leuschel . Program specialisation and abstract interpretation reconciled. In J. Jaifar, editor , Proceedings of the Joint International Conference and Symposium on Logic Programming JICSLP'98 , pages 220 - 234 , Manchester, UK , June 1998 . MIT Press. Extended version as Technical Report CW 259, K.U. Leuven.]] M. Leuschel. Program specialisation and abstract interpretation reconciled. In J. Jaifar, editor, Proceedings of the Joint International Conference and Symposium on Logic Programming JICSLP'98, pages 220-234, Manchester, UK, June 1998. MIT Press. Extended version as Technical Report CW 259, K.U. Leuven.]]"},{"key":"e_1_3_2_1_16_2","doi-asserted-by":"publisher","DOI":"10.5555\/647372.724047"},{"key":"e_1_3_2_1_17_2","volume-title":"Proceedings of the Joint Int,. Conf. and Syrup. on Logic Programming (JICSLP'96)","author":"Leuschel M.","year":"1996","unstructured":"M. Leuschel , D. D. Schreye , and D. A. de Waal . A conceptual embedding of folding into partial deduction: towards a maximal integration. In M. Maher, editor , Proceedings of the Joint Int,. Conf. and Syrup. on Logic Programming (JICSLP'96) . MIT Press , 1996 .]] M. Leuschel, D. D. Schreye, and D. A. de Waal. A conceptual embedding of folding into partial deduction: towards a maximal integration. In M. Maher, editor, Proceedings of the Joint Int,. Conf. and Syrup. on Logic Programming (JICSLP'96). MIT Press, 1996.]]"},{"key":"e_1_3_2_1_18_2","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(91)90027-M"},{"key":"e_1_3_2_1_20_2","volume-title":"Proceedings of the IEEE International Symposium on Logic Programming","author":"Mishra P.","year":"1984","unstructured":"P. Mishra . Towards a theory of types in prolog . In Proceedings of the IEEE International Symposium on Logic Programming , 1984 .]] P. Mishra. Towards a theory of types in prolog. In Proceedings of the IEEE International Symposium on Logic Programming, 1984.]]"},{"key":"e_1_3_2_1_21_2","first-page":"325","volume-title":"Partial Evaluation and Mixed Computation","author":"Mogensen T.","year":"1988","unstructured":"T. \/E.. Mogensen . Partially static structures in a selfapplicable partial evaluator. In D. Bj0rner, A. Ershov, and N. Jones, editors , Partial Evaluation and Mixed Computation , pages 325 - 347 . North-Holland , 1988 .]] T. \/E.. Mogensen. Partially static structures in a selfapplicable partial evaluator. In D. Bj0rner, A. Ershov, and N. Jones, editors, Partial Evaluation and Mixed Computation, pages 325-347. North-Holland, 1988.]]"},{"key":"e_1_3_2_1_22_2","volume-title":"Imperative program specialisation: An approach using CLP","author":"Peralta J.","year":"1999","unstructured":"J. Peralta and J. Gallagher . Imperative program specialisation: An approach using CLP . In A. Bossi, editor, Pre-Proceedings of Logic Program Synthesis and Transformation (LOPSTR'99). University of Venice , 1999 .]] J. Peralta and J. Gallagher. Imperative program specialisation: An approach using CLP. In A. Bossi, editor, Pre-Proceedings of Logic Program Synthesis and Transformation (LOPSTR'99). University of Venice, 1999.]]"},{"key":"e_1_3_2_1_23_2","doi-asserted-by":"publisher","DOI":"10.5555\/647167.717999"},{"key":"e_1_3_2_1_24_2","volume-title":"Proceedings of the A CM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'99)","author":"Puebla G.","year":"1999","unstructured":"G. Puebla , M. Hermenegildo , and J. P. Gallagher . An integration of partial evaluation in a generic abstract interpretation framework. In O. Danvy, editor , Proceedings of the A CM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'99) , Technical report BRICS-NS-99-1, University of Aarhus, pages 75-84, San Antonio, Texas , Jan. 1999 .]] G. Puebla, M. Hermenegildo, and J. P. Gallagher. An integration of partial evaluation in a generic abstract interpretation framework. In O. Danvy, editor, Proceedings of the A CM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'99), Technical report BRICS-NS-99-1, University of Aarhus, pages 75-84, San Antonio, Texas, Jan. 1999.]]"},{"key":"e_1_3_2_1_25_2","first-page":"135","volume-title":"Machine Intelligence","author":"Reynolds J. C.","year":"1970","unstructured":"J. C. Reynolds . Transformational systems and the algebraic structure of atomic formulas. In B. Meltzer and D. Mitchie, editors , Machine Intelligence , pages 135 - 151 , 1970 .]] J. C. Reynolds. Transformational systems and the algebraic structure of atomic formulas. In B. Meltzer and D. Mitchie, editors, Machine Intelligence, pages 135- 151, 1970.]]"},{"key":"e_1_3_2_1_26_2","volume-title":"The Royal Institute of Technology","author":"Sahlin D.","year":"1991","unstructured":"D. Sahlin . An Automatic Partial Evaluator for Full Prolog. PhD thesis , The Royal Institute of Technology , 1991 .]] D. Sahlin. An Automatic Partial Evaluator for Full Prolog. PhD thesis, The Royal Institute of Technology, 1991.]]"},{"key":"e_1_3_2_1_27_2","volume-title":"Logic Program Synthesis and Transformation (LOP- STR'97)","author":"Sa~lam H.","year":"1998","unstructured":"H. Sa~lam and J. Gallagher . Constrained regular approximation of logic programs . In N. Fuchs, editor, Logic Program Synthesis and Transformation (LOP- STR'97) . Springer-Veriag , Lecture Notes in Computer Science, 1998 .]] H. Sa~lam and J. Gallagher. Constrained regular approximation of logic programs. In N. Fuchs, editor, Logic Program Synthesis and Transformation (LOP- STR'97). Springer-Veriag, Lecture Notes in Computer Science, 1998.]]"},{"key":"e_1_3_2_1_28_2","volume-title":"Proceedings of the International Symposium on Logic Programming (ILPS'95)","author":"Gliick M.","year":"1995","unstructured":"M. S0rensen and R. Gliick . An algorithm of generalisation in positive supercompilation, in J. Lloyd, editor , Proceedings of the International Symposium on Logic Programming (ILPS'95) . MIT Press , 1995 .]] M. S0rensen and R. Gliick. An algorithm of generalisation in positive supercompilation, in J. Lloyd, editor, Proceedings of the International Symposium on Logic Programming (ILPS'95). MIT Press, 1995.]]"},{"key":"e_1_3_2_1_29_2","first-page":"531","volume-title":"Proc. of the IFIP TC2 Workshop on Partial Evaluation and Mixed Computation","author":"Turchin V.","year":"1988","unstructured":"V. Turchin . The algorithm of generalization in the supercompiler. In D. Bjorner, A. Ershov, and N. Jones, editors , Proc. of the IFIP TC2 Workshop on Partial Evaluation and Mixed Computation , pages 531 - 549 . North-Holland , 1988 .]] V. Turchin. The algorithm of generalization in the supercompiler. In D. Bjorner, A. Ershov, and N. Jones, editors, Proc. of the IFIP TC2 Workshop on Partial Evaluation and Mixed Computation, pages 531-549. North-Holland, 1988.]]"},{"key":"e_1_3_2_1_30_2","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(91)80002-U"}],"event":{"name":"PEPM00: 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Manipulation","location":"Boston Massachusetts USA","acronym":"PEPM00","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/328690.328698","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T17:18:33Z","timestamp":1693847913000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/328690.328698"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,11]]},"references-count":26,"alternative-id":["10.1145\/328690.328698","10.1145\/328690"],"URL":"http:\/\/dx.doi.org\/10.1145\/328690.328698","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/328691.328698","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[1999,11]]},"assertion":[{"value":"1999-11-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}