{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:36:52Z","timestamp":1750307812687,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,7,15]],"date-time":"2008-07-15T00:00:00Z","timestamp":1216080000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,7,15]]},"DOI":"10.1145\/1389449.1389455","type":"proceedings-article","created":{"date-parts":[[2008,7,22]],"date-time":"2008-07-22T13:46:39Z","timestamp":1216734399000},"page":"32-43","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Comparing tag scheme variations using an abstract machine generator"],"prefix":"10.1145","author":[{"given":"Jos\u00e9 F.","family":"Morales","sequence":"first","affiliation":[{"name":"U. Complutense de Madrid"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Carro","sequence":"additional","affiliation":[{"name":"U. Polit\u00e9cnica de Madrid"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Hermenegildo","sequence":"additional","affiliation":[{"name":"U. Polit\u00e9cnica de Madrid and IMDEA-Software"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,7,15]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/113900"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/60644.60653"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/62959.62968"},{"volume-title":"School (UPM)","year":"2006","author":"Bueno F.","key":"e_1_3_2_1_4_1"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1176760.1176794"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/113445.113469"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11737414_11"},{"key":"e_1_3_2_1_8_1","first-page":"1240","volume-title":"So Little Time. In Computational Logic","author":"Demoen B.","year":"2000"},{"volume-title":"European Computer Research Center","year":"1993","author":"Eclipse User's Guide RC.","key":"e_1_3_2_1_9_1"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2005.02.006"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291151.1291194"},{"key":"e_1_3_2_1_12_1","first-page":"77","volume-title":"Towards Description and Optimization of Abstract Machines in an Extension of Prolog","author":"Morales J.","year":"2007"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/11562931_5"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1014007.1014010"},{"key":"e_1_3_2_1_15_1","first-page":"261","volume-title":"Santos-Costa. Optimising Bytecode Emulation for Prolog. In International Conference on Principles and Practice of Declarative Programming (PPDP'99)","volume":"1702","author":"V.","year":"1999"},{"volume-title":"The Yap Prolog User's Manual","year":"2000","author":"Santos-Costa V.","key":"e_1_3_2_1_16_1"},{"key":"e_1_3_2_1_17_1","unstructured":"Swedish Institute for Computer Science PO Box 1263 S-164 28 Kista Sweden. SICStus Prolog 3.8 User's Manual 3.8 edition Oct. 1999. Available from http:\/\/www.sics.se\/sicstus\/.]]  Swedish Institute for Computer Science PO Box 1263 S-164 28 Kista Sweden. SICStus Prolog 3.8 User's Manual 3.8 edition Oct. 1999. Available from http:\/\/www.sics.se\/sicstus\/.]]"}],"event":{"name":"PPDP08: Principles and Practice of Declarative Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Valencia Spain","acronym":"PPDP08"},"container-title":["Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1389449.1389455","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1389449.1389455","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:57:38Z","timestamp":1750255058000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1389449.1389455"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,7,15]]},"references-count":17,"alternative-id":["10.1145\/1389449.1389455","10.1145\/1389449"],"URL":"https:\/\/doi.org\/10.1145\/1389449.1389455","relation":{},"subject":[],"published":{"date-parts":[[2008,7,15]]},"assertion":[{"value":"2008-07-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}