{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:11:56Z","timestamp":1761610316517,"version":"build-2065373602"},"reference-count":22,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2001,11,1]],"date-time":"2001-11-01T00:00:00Z","timestamp":1004572800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2001,11,1]],"date-time":"2001-11-01T00:00:00Z","timestamp":1004572800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":4288,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2001,11]]},"DOI":"10.1016\/s1571-0661(05)80456-6","type":"journal-article","created":{"date-parts":[[2005,4,27]],"date-time":"2005-04-27T07:41:43Z","timestamp":1114587703000},"page":"109-122","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":1,"title":["Annotations for Portable Intermediate Languages"],"prefix":"10.1016","volume":"59","author":[{"given":"Ferm\u00edn","family":"Reig","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(05)80456-6_BIBADM98","doi-asserted-by":"crossref","unstructured":"Ole Agesen, David Detlefs, and J. Eliot B. Moss. Garbage collection and local variable type-precision and liveness in Java virtual machines. In Proceedings of the ACM SIGPLAN'98 Conference, on Programming Language Design and Implementation (PLDI), pages 269-279, Montreal, Canada, 17-19 June 1998. SIGPLAN Notices 33(5), May 1998.","DOI":"10.1145\/277652.277738"},{"key":"10.1016\/S1571-0661(05)80456-6_BIBAPP98","series-title":"Modern Compiler Implementation in ML.","article-title":"Appel","author":"Andrew","year":"1998"},{"key":"10.1016\/S1571-0661(05)80456-6_BIBBC94","doi-asserted-by":"crossref","unstructured":"Preston Briggs and Keith D. Cooper. Effective partial redundancy elimination. In Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), pages 159-170, Orlando, Florida, 20-24 June 1994. SIGPLAN Notices 29(6), June 1994.","DOI":"10.1145\/773473.178257"},{"key":"10.1016\/S1571-0661(05)80456-6_BIBBD88","doi-asserted-by":"crossref","unstructured":"Manuel E. Benitez and Jack W. Davidson. A portable global optimizer and linker. In Proceedings of the ACM SIGPLAN'88 Conference on Programming Language Design and Implementation (PLDI), pages 329-338, Atlanta, Georgia, 22-24 June 1988. SIGPLAN Notices23(7), July 1988.","DOI":"10.1145\/960116.54023"},{"key":"10.1016\/S1571-0661(05)80456-6_BIBBKOO","article-title":"Monads, effects and transformations","volume":"volume 26","author":"Benton","year":"2000"},{"key":"10.1016\/S1571-0661(05)80456-6_BIBBL93","series-title":"Proceedings of the ACM SIGPLAN'93 Conference on Programming Language Design and Implementation (PLDI)","first-page":"300","article-title":"Branch prediction for free","author":"Ball","year":"1993"},{"key":"10.1016\/S1571-0661(05)80456-6_CTS98","series-title":"Proceedings of the International Conference on Parallel Processing (ICPP '98)","first-page":"346","article-title":"High-level information: An approach for integrating front-end and back-end compilers","author":"Cho","year":"1998"},{"key":"10.1016\/S1571-0661(05)80456-6_DKK99","article-title":"An overview of the Intel IA-64 compiler","volume":"Q4","author":"Dulong","year":"1999","journal-title":"Intel Technology Journal"},{"key":"10.1016\/S1571-0661(05)80456-6_BIBDMH92","series-title":"Proceedings of the ACM SIGPLAN'92 Conference on Programming Language Design and Implementation (PLDI)","first-page":"273","article-title":"Compiler support for garbage collection in a statically typed language","author":"Diwan","year":"1992"},{"key":"10.1016\/S1571-0661(05)80456-6_BIBGLOO","article-title":"MLRISC: A framework for retargetable and optimizing compiler back ends","author":"George","year":"2000","journal-title":"Unpublished report available from http:\/\/www.cs.nyu.edu\/leunga\/www\/MLRISC\/Doc\/html\/index.html"},{"issue":"6","key":"10.1016\/S1571-0661(05)80456-6_BIBHAI98","doi-asserted-by":"crossref","first-page":"1297","DOI":"10.1145\/295656.295664","article-title":"Cost-optimal code motion","volume":"20","author":"Hailperin","year":"1998","journal-title":"ACM Transactions on Programming Languages and Systems"},{"year":"1999","series-title":"9899: 1999 standard for the C programming language (C99)","author":"ISO\/IEC","key":"10.1016\/S1571-0661(05)80456-6_BIBISO99"},{"key":"10.1016\/S1571-0661(05)80456-6_BIBJRR99","series-title":"International Conference on Principles and Practice of Declarative Programming LNCS 1702,. Invited paper","first-page":"1","article-title":"C\u2014: a portable assembly language that supports garbage collection","author":"Peyton Jones","year":"1999"},{"key":"10.1016\/S1571-0661(05)80456-6_BIBKC01","series-title":"Proceedings of the ACM SIGPLAN'01 Conference on Programming Language Design and Implementation (PLDI)","first-page":"20","article-title":"Using annotations to reduce dynamic optimization time","author":"Krintz","year":"2001"},{"issue":"2","key":"10.1016\/S1571-0661(05)80456-6_BIBLPOO","doi-asserted-by":"crossref","first-page":"340","DOI":"10.1145\/349214.349230","article-title":"Type-based analysis of uncaught exceptions","volume":"22","author":"Leroy","year":"2000","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S1571-0661(05)80456-6_BIBNEC97","series-title":"Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","first-page":"106","article-title":"Necula. Proof-carrying code","author":"George","year":"1997"},{"key":"10.1016\/S1571-0661(05)80456-6_PQVR01","series-title":"CC 2001, volume 2027 of LNCS","first-page":"334","article-title":"A framework for optimizing Java using attributes","author":"Pominville","year":"2001"},{"key":"10.1016\/S1571-0661(05)80456-6_BIBRPJ00","series-title":"Proceedings of the ACM SIGPLAN'00 Conference on Programming Language Design and Implementation (PLDI). Vancouver, British Columbia 18-21","first-page":"285","article-title":"A single intermediate language that supports multiple implementations of exceptions","author":"Ramsey","year":"2000"},{"key":"10.1016\/S1571-0661(05)80456-6_BIBSTA01","unstructured":"Richard M. Stallman. Using and Porting the GNU Compiler Collection (GCC). Free Software Foundation, 2001. Available from http:\/\/gcc.gnu.org\/onlinedocs\/gcc-3.0\/gcc.html."},{"key":"10.1016\/S1571-0661(05)80456-6_BIBTAR00","doi-asserted-by":"crossref","unstructured":"David Tarditi. Compact garbage collection tables. In Tony Hosking. editor, Proceedings of the Second International Symposium on Memory Management, Minneapolis, MN, October 2000. ACM Press. ISMM is the successor to the IWMM series of workshops.","DOI":"10.1145\/362422.362437"},{"issue":"1","key":"10.1016\/S1571-0661(05)80456-6_BIBYR01","article-title":"A cost-effective estimation of uncaught exceptions in Standard ML programs","volume":"273","author":"Yi","year":"2001","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(05)80456-6_BIBYS98","series-title":"Proceedings of the 31st Annual International Symposium on Microarchitecture","first-page":"115","article-title":"Better global scheduling using path profiles","author":"Young","year":"1998"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105804566?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105804566?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:07:04Z","timestamp":1761610024000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066105804566"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,11]]},"references-count":22,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2001,11]]}},"alternative-id":["S1571066105804566"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(05)80456-6","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[2001,11]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Annotations for Portable Intermediate Languages","name":"articletitle","label":"Article Title"},{"value":"Electronic Notes in Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S1571-0661(05)80456-6","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2001 Elsevier B.V.","name":"copyright","label":"Copyright"}]}}