{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:13:35Z","timestamp":1729617215737,"version":"3.28.0"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icsmc.2004.1399774","type":"proceedings-article","created":{"date-parts":[[2005,3,31]],"date-time":"2005-03-31T13:26:51Z","timestamp":1112275611000},"page":"1131-1135","source":"Crossref","is-referenced-by-count":2,"title":["Analysis and specialisation of a PIC processor"],"prefix":"10.1109","volume":"2","author":[{"given":"K.S.","family":"Henriksen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.P.","family":"Gallagher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"2","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1007\/3-540-62718-9_12","article-title":"Inferring argument size relationships with CLP(R)","volume":"1207","author":"benoy","year":"1996","journal-title":"Springer-Verlag Lecture Notes in Computer Science"},{"key":"10","first-page":"52","article-title":"Program analysis, debugging, and optimization using the Ciao system preprocessor","author":"hermenegildo","year":"1999","journal-title":"Proceedings of ICLP 1999 International Conference on Logic Programming Las Cruces New Mexico USA"},{"journal-title":"Advanced Specialization and Analysis for Pervasive Systems EU Framework 5 Project IST-2001-38059","year":"0","key":"1"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27775-0_3"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-25938-1_8"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/154630.154640"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/512760.512770"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45587-6_16"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1023\/A:1012936614361"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80636-X"}],"event":{"name":"2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583)","acronym":"ICSMC-04","location":"The Hague, Netherlands"},"container-title":["2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9622\/30422\/01399774.pdf?arnumber=1399774","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T13:50:54Z","timestamp":1497621054000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1399774\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/icsmc.2004.1399774","relation":{},"subject":[]}}