{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,24]],"date-time":"2025-11-24T05:45:03Z","timestamp":1763963103009,"version":"3.45.0"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032081865","type":"print"},{"value":"9783032081872","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,11,25]],"date-time":"2025-11-25T00:00:00Z","timestamp":1764028800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,11,25]],"date-time":"2025-11-25T00:00:00Z","timestamp":1764028800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-08187-2_1","type":"book-chapter","created":{"date-parts":[[2025,11,24]],"date-time":"2025-11-24T05:42:50Z","timestamp":1763962970000},"page":"3-13","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["The Norcroft Compiler at\u00a0Arm"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9462-6802","authenticated-orcid":false,"given":"Jeremy","family":"Singer","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0009-0009-3864-3662","authenticated-orcid":false,"given":"Lee","family":"Smith","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,11,25]]},"reference":[{"key":"1_CR1","volume-title":"Compilers: Principles","author":"A Aho","year":"1988","unstructured":"Aho, A., Sethi, R., Ullman, J.: Compilers: Principles. McGraw Hill, Techniques and Tools (1988)"},{"key":"1_CR2","unstructured":"Aho, A., Ullman, J.: Principles of Compiler Design. Addison-Wesley (1977)"},{"key":"1_CR3","unstructured":"Antell, B.: Acorn Computers Limited - Press Release (1986). http:\/\/chrisacorns.computinghistory.org.uk\/docs\/Acorn\/PR\/Acorn_announces_the_ARM_Evaluation_kit.pdf"},{"issue":"2","key":"1_CR4","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1145\/22719.22720","volume":"9","author":"MG Burke","year":"1987","unstructured":"Burke, M.G., Fisher, G.A.: A practical method for LR and LL syntactic error diagnosis and recovery. ACM Trans. Program. Lang. Syst. 9(2), 164\u2013197 (1987). https:\/\/doi.org\/10.1145\/22719.22720","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"1_CR5","doi-asserted-by":"publisher","unstructured":"Chaitin, G.J.: Register allocation & spilling via graph coloring. In: Proceedings of the 1982 SIGPLAN Symposium on Compiler Construction, pp. 98\u2013105 (1982). https:\/\/doi.org\/10.1145\/800230.806984","DOI":"10.1145\/800230.806984"},{"key":"1_CR6","unstructured":"Companies House: Codemist limited (2024). https:\/\/find-and-update.company-information.service.gov.uk\/company\/02197915"},{"key":"1_CR7","unstructured":"Denning, A.: To C or not to C. Acorn User 1(65), 149\u2013153 (1987). https:\/\/archive.org\/details\/AcornUser065-Dec87\/page\/n150\/mode\/1up"},{"key":"1_CR8","doi-asserted-by":"publisher","unstructured":"Giegerich, R., M\u00f6ncke, U., Wilhelm, R.: Invariance of approximative semantics with respect to program transformations. In: Proceedings of the Third Conference of the European Co-operation in Informatics, pp. 1\u201310. Springer (1981). https:\/\/doi.org\/10.1007\/978-3-662-01089-1_1","DOI":"10.1007\/978-3-662-01089-1_1"},{"key":"1_CR9","doi-asserted-by":"publisher","unstructured":"Hennessy, J., et al.: MIPS: a microprocessor architecture. SIGMICRO Newsl. 13(4), 17\u201322 (1982). https:\/\/doi.org\/10.1145\/1014194.800930","DOI":"10.1145\/1014194.800930"},{"key":"1_CR10","doi-asserted-by":"publisher","unstructured":"Horwitz, S., Demers, A., Teitelbaum, T.: An efficient general iterative algorithm for dataflow analysis. Acta Informatica 24, 679\u2013694 (1987). https:\/\/doi.org\/10.1007\/BF00282621","DOI":"10.1007\/BF00282621"},{"key":"1_CR11","unstructured":"Howe, D., et\u00a0al.: Free online dictionary of computing: Norcroft (1994). https:\/\/foldoc.org\/NorCroft"},{"key":"1_CR12","unstructured":"Jarman, N.: BBC microcomputer - how many? (2024). https:\/\/bbcmicro.computer\/how-many-made"},{"key":"1_CR13","doi-asserted-by":"publisher","unstructured":"Johnson, S.C.: A portable compiler: theory and practice. In: Proceedings of the 5th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pp. 97\u2013104 (1978). https:\/\/doi.org\/10.1145\/512760.512771","DOI":"10.1145\/512760.512771"},{"key":"1_CR14","unstructured":"Johnson, S.: A tour through the portable C compiler (1981). http:\/\/maibriz.de\/unix\/ultrix\/_root\/porttour.pdf"},{"key":"1_CR15","unstructured":"Kernighan, B.W., Ritchie, D.M.: The C Programming Language. Prentice Hall (1978)"},{"key":"1_CR16","doi-asserted-by":"publisher","unstructured":"Lattner, C., Adve, V.: LLVM: a compilation framework for lifelong program analysis & transformation. In: International Symposium on Code Generation and Optimization, pp. 75\u201386. IEEE (2004). https:\/\/doi.org\/10.1109\/CGO.2004.1281665","DOI":"10.1109\/CGO.2004.1281665"},{"key":"1_CR17","unstructured":"Mycroft, A.: Abstract interpretation and optimising transformations for applicative programs. Ph. D. thesis, University of Edinburgh (1982). http:\/\/hdl.handle.net\/1842\/6602"},{"key":"1_CR18","unstructured":"Mycroft, A.: Query about C compilers on IBM 370s (1988). https:\/\/groups.google.com\/g\/comp.lang.c\/c\/Vdr-swuohZY\/m\/kc4laj-Hq2kJ"},{"key":"1_CR19","doi-asserted-by":"publisher","unstructured":"Mycroft, A., Norman, A.: Optimising compilation. Tech. Rep. UCAM-CL-TR-269, University of Cambridge, Computer Laboratory (1992). https:\/\/doi.org\/10.48456\/tr-269","DOI":"10.48456\/tr-269"},{"key":"1_CR20","unstructured":"Mycroft, A., et\u00a0al.: Optimising compilers (2021). https:\/\/www.cl.cam.ac.uk\/teaching\/2021\/OptComp\/"},{"key":"1_CR21","unstructured":"Norman, A., Fitch, J., Mycroft, A.: Codemist Compilers \/ Norcroft (2017). https:\/\/foldoc.org\/NorCroft"},{"issue":"6","key":"1_CR22","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/641914.641917","volume":"8","author":"DA Patterson","year":"1980","unstructured":"Patterson, D.A., Ditzel, D.R.: The case for the reduced instruction set computer. ACM SIGARCH Comput. Archit. News 8(6), 25\u201333 (1980). https:\/\/doi.org\/10.1145\/641914.641917","journal-title":"ACM SIGARCH Comput. Archit. News"},{"key":"1_CR23","doi-asserted-by":"publisher","unstructured":"Ritchie, D.M.: The development of the C language. In: The Second ACM SIGPLAN Conference on History of Programming Languages, pp. 201\u2013208 (1993). https:\/\/doi.org\/10.1145\/154766.155580","DOI":"10.1145\/154766.155580"},{"issue":"6","key":"1_CR24","doi-asserted-by":"publisher","first-page":"1991","DOI":"10.1002\/j.1538-7305.1978.tb02140.x","volume":"57","author":"DM Ritchie","year":"1978","unstructured":"Ritchie, D.M., Johnson, S.C., Lesk, M., Kernighan, B., et al.: The C programming language. Bell Sys. Tech. J 57(6), 1991\u20132019 (1978)","journal-title":"Bell Sys. Tech. J"},{"key":"1_CR25","unstructured":"Stroustrup, B.: The C++ Programming Language. Addison-Wesley (1985)"},{"key":"1_CR26","unstructured":"Thornton, I.: Arm holdings plc Q3 FYE24 results (2024). https:\/\/investors.arm.com\/static-files\/187d293b-42eb-48b0-b82f-e78bce4da9e4"},{"key":"1_CR27","doi-asserted-by":"publisher","unstructured":"Whitby-Strevens, C.: The transputer. In: Proceedings of the 12th Annual International Symposium on Computer Architecture, pp. 292\u2013300 (1985). https:\/\/doi.org\/10.1145\/327070.327269","DOI":"10.1145\/327070.327269"},{"key":"1_CR28","unstructured":"Wilson, S.: ARM development (2009). https:\/\/en.wikipedia.org\/wiki\/Sophie_Wilson#\/media\/File:ARM_development.jpg"}],"container-title":["Lecture Notes in Computer Science","Languages, Compilers, Analysis - From Beautiful Theory to Useful Practice"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-08187-2_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,24]],"date-time":"2025-11-24T05:42:54Z","timestamp":1763962974000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-08187-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,25]]},"ISBN":["9783032081865","9783032081872"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-08187-2_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,11,25]]},"assertion":[{"value":"25 November 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}