{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T04:25:29Z","timestamp":1748924729120},"reference-count":16,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/scam.2003.1238040","type":"proceedings-article","created":{"date-parts":[[2004,3,2]],"date-time":"2004-03-02T02:26:50Z","timestamp":1078194410000},"page":"141-150","source":"Crossref","is-referenced-by-count":10,"title":["Turning dynamic typing into static typing by program specialization in a compiler front-end for Octave"],"prefix":"10.1109","author":[{"given":"K.","family":"Olmos","sequence":"first","affiliation":[]},{"given":"E.","family":"Visser","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Technical report no CPD-TR-2000&#x2013;10&#x2013;010","year":"2000","author":"joisha","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80605-4"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00298-1"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00298-1"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45127-7_27"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45821-2_19"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/289423.289425"},{"journal-title":"Compiler techniques for MATLAB programs","year":"1996","author":"de rose","key":"ref4"},{"key":"ref3","article-title":"Type-based speculative specialization in a telescoping compiler for matlab","author":"chauhan","year":"2003","journal-title":"Techical Report TR03&#x2013;411"},{"journal-title":"Octave","year":"0","author":"eaton","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80427-4"},{"key":"ref8","article-title":"Computing array shapes in MATLAB","author":"joisha","year":"2001","journal-title":"Proceedings of the International Workshop on Languages and Compilers for Parallel Computing (LCPC) Lecture Notes in Computer Science Series"},{"key":"ref7","article-title":"An Introduction to Program Specialisation by Type Inference","author":"hughes","year":"1996","journal-title":"Functional Programming"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512564"},{"key":"ref9","article-title":"MAGICA a software tool for inferring types in MATLAB","author":"joisha","year":"2002","journal-title":"Technical report No CPDC-TR-2002&#x2013;10&#x2013;04"}],"event":{"name":"Third IEEE International Workshop on Source Code Analysis and Manipulation.","acronym":"SCAM-03","location":"Amsterdam, Netherlands"},"container-title":["Proceedings Third IEEE International Workshop on Source Code Analysis and Manipulation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8773\/27776\/01238040.pdf?arnumber=1238040","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T01:06:40Z","timestamp":1489453600000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1238040\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/scam.2003.1238040","relation":{},"subject":[]}}