{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:05:58Z","timestamp":1725483958577},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439301"},{"type":"electronic","value":"9783540456193"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45619-8_4","type":"book-chapter","created":{"date-parts":[[2007,5,19]],"date-time":"2007-05-19T14:57:41Z","timestamp":1179586661000},"page":"38-53","source":"Crossref","is-referenced-by-count":0,"title":["Trailing Analysis for HAL"],"prefix":"10.1007","author":[{"given":"Tom","family":"Schrijvers","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria Garc\u00eda","family":"de la Banda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bart","family":"Demoen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,18]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"H. A\u00eft-Kaci. Warren\u2019s Abstract Machine: A Tutorial Reconstruction. MIT Press, 1991.","DOI":"10.7551\/mitpress\/7160.001.0001"},{"key":"4_CR2","unstructured":"B. Demoen, M. Garc\u00eda de la Banda, W. Harvey, K. Marriott, and P. J. Stuckey. Herbrand Constraint Solving in HAL. In International Conference on Logic Programming, pages 260\u2013274, 1999."},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"B. Demoen, M. Garc\u00eda de la Banda, W. Harvey, K. Marriott, and P. J. Stuckey. An Overview of HAL. In Principles and Practice of Constraint Programming, pages 174\u2013188, 1999.","DOI":"10.1007\/978-3-540-48085-3_13"},{"issue":"1","key":"4_CR4","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1016\/0743-1066(92)90021-T","volume":"13","author":"S. Debray","year":"1992","unstructured":"S. Debray. A Simple Code Improvement Scheme for Prolog. Journal of Logic Programming, 13(1):349\u2013366, May 1992.","journal-title":"Journal of Logic Programming"},{"key":"4_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0743-1066(97)10002-4","volume":"35","author":"M. G. Banda de la","year":"1998","unstructured":"M. Garc\u00eda de la Banda, K. Marriott, P. Stuckey, and H. S\u00f8ndergaard. Differential methods in logic program analysis. JLP, 35:1\u201337, 1998.","journal-title":"JLP"},{"key":"4_CR6","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/0743-1066(94)00021-W","volume":"22","author":"P. Hentenryck Van","year":"1995","unstructured":"P. Van Hentenryck, A. Cortesi, and B. Le Charlier. Type analysis of Prolog using type graphs. JLP, 22:179\u2013209, 1995.","journal-title":"JLP"},{"key":"4_CR7","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/0743-1066(92)90032-X","volume":"13","author":"G. Janssens","year":"1993","unstructured":"G. Janssens and M. Bruynooghe. Deriving descriptions of possible value of program variables by means of abstract interpretation. JLP, 13:205\u2013258, 1993.","journal-title":"JLP"},{"key":"4_CR8","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1145\/174662.174664","volume":"16","author":"A. Mulkers","year":"1994","unstructured":"A. Mulkers, W. Winsborough, and M. Bruynooghe. Live-structure dataflow analysis for prolog. ACM TOPLAS, 16:205\u2013258, 1994.","journal-title":"ACM TOPLAS"},{"key":"4_CR9","unstructured":"N. Nethercote. The Analysis Framework of HAL. Master\u2019s thesis, University of Melbourne, September 2001."},{"key":"4_CR10","unstructured":"J. Noy\u00e9. Elagage de contexte, retour arri\u00e8re superficiel, modifications r\u00e9versibles et autres: une \u00e9tude approfondie de la WAM. PhD thesis, Universit\u00e9 de Rennes I, November 1994."},{"issue":"1","key":"4_CR11","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1109\/2.108055","volume":"25","author":"P. Roy Van","year":"1992","unstructured":"P. Van Roy and A. Despain. High-performance logic programming with the aquarius prolog compiler. IEEE Computer, 25(1):54\u201368, 1992.","journal-title":"IEEE Computer"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"T. Schrijvers and B. Demoen. Combining an Improvement to PARMA Trailing with Analysis in HAL. Technical Report 338, K.U.Leuven, April 2002.","DOI":"10.1145\/571157.571167"},{"key":"4_CR13","unstructured":"Z. Somogyi, F. Henderson, and T. Conway. Mercury: an efficient purely declarative logic programming language. In Australian Computer Science Conference, pages 499\u2013512, February 1995."},{"key":"4_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1007\/3-540-16442-1_25","volume-title":"European Symposium on Programming","author":"H. S\u00f8ndergaard","year":"1986","unstructured":"H. S\u00f8ndergaard. An application of abstract interpretation of logic programs: occur check reduction. In European Symposium on Programming, LNCS 123, pages 327\u2013338. Springer-Verlag, 1986."},{"key":"4_CR15","unstructured":"A. Taylor. High Performace Prolog Implementation. PhD thesis, Basser Department of Computer Science, June 1991."},{"issue":"1\u20133","key":"4_CR16","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S0743-1066(96)00065-9","volume":"29","author":"A. Taylor","year":"1996","unstructured":"A. Taylor. Parma-Bridging the Performance GAP Between Imperative and Logic Programming. Journal of Logic Programming, 29(1\u20133):5\u201316, 1996.","journal-title":"Journal of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45619-8_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,22]],"date-time":"2020-04-22T05:20:25Z","timestamp":1587532825000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45619-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439301","9783540456193"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-45619-8_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}