{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:51:00Z","timestamp":1725666660397},"publisher-location":"London","reference-count":5,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540197836"},{"type":"electronic","value":"9781447134213"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-1-4471-3421-3_7","type":"book-chapter","created":{"date-parts":[[2012,3,8]],"date-time":"2012-03-08T07:42:32Z","timestamp":1331192552000},"page":"108-123","source":"Crossref","is-referenced-by-count":0,"title":["SEL Compiler &amp; Abstract Analyzers"],"prefix":"10.1007","author":[{"given":"Giancarlo","family":"Succi","sequence":"first","affiliation":[]},{"given":"Giuseppe A.","family":"Marino","sequence":"additional","affiliation":[]},{"given":"Giancarlo","family":"Colla","sequence":"additional","affiliation":[]},{"given":"Diego","family":"C\u00f2","sequence":"additional","affiliation":[]},{"given":"Sergio","family":"Novella","sequence":"additional","affiliation":[]},{"given":"Amedeo","family":"Pata","sequence":"additional","affiliation":[]},{"given":"Alexandro","family":"Regoli","sequence":"additional","affiliation":[]},{"given":"Luca","family":"Vigan\u00f2","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","volume-title":"The WAM: A (Real) Tutorial","author":"H A\u00eft-Kaci","year":"1990","unstructured":"H. A\u00eft-Kaci. The WAM: A (Real) Tutorial. Digital \u2014 Paris Research Laboratory, January 1990."},{"key":"7_CR2","first-page":"174","volume-title":"ACM SIGPLAN 90","author":"SK Debray","year":"1990","unstructured":"S. K. Debray, N. W. Lin, and M. Hermenegildo. Task Granularity Analysis in Logic Programs. In ACM SIGPLAN 90, pages 174\u2013188, 1990."},{"key":"7_CR3","unstructured":"B. Jayaraman and A. Nair. Subset-Logic Programming: Application and Implementation. In 5th International Logic Programming Conference, Seattle, August 1988."},{"key":"7_CR4","first-page":"346","volume-title":"PARLE \u201989","author":"J Marino","year":"1989","unstructured":"J. Marino and G. Succi. Data Structure for the Parallel Execution of Functional Languages. In G. Gries and J. Hartmanis, editors, PARLE \u201989, pages 346\u2013356. Springer-Verlag, June 1989."},{"key":"7_CR5","volume-title":"Compilation of Subset-Logic Programs","author":"A Nair","year":"1988","unstructured":"A. Nair. Compilation of Subset-Logic Programs, December 1988. University of North Carolina at Chapel Hill \u2014 Master Thesis."}],"container-title":["Workshops in Computing","ALPUK92"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3421-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T12:14:43Z","timestamp":1556453683000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3421-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540197836","9781447134213"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3421-3_7","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1993]]}}}