{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:35:11Z","timestamp":1750307711270,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,1,24]],"date-time":"2009-01-24T00:00:00Z","timestamp":1232755200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,1,24]]},"DOI":"10.1145\/1481861.1481866","type":"proceedings-article","created":{"date-parts":[[2009,1,29]],"date-time":"2009-01-29T13:45:53Z","timestamp":1233236753000},"page":"27-38","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Secure compilation of a multi-tier web language"],"prefix":"10.1145","author":[{"given":"Ioannis G.","family":"Baltopoulos","sequence":"first","affiliation":[{"name":"University of Cambridge, Cambridge, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew D.","family":"Gordon","sequence":"additional","affiliation":[{"name":"Microsoft Research, Cambridge, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,1,24]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/380171.380174"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1998.2740"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/11924661_16"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2008.27"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294265"},{"key":"e_1_3_2_1_6_1","volume-title":"Links: Web Programming Without Tiers. In FMCO: Proceedings of 5th International Symposium on Formal Methods for Components and Objects, LNCS. Springer-Verlag","author":"Cooper E.","year":"2006","unstructured":"E. Cooper , S. Lindley , P. Wadler , and J. Yallop . Links: Web Programming Without Tiers. In FMCO: Proceedings of 5th International Symposium on Formal Methods for Components and Objects, LNCS. Springer-Verlag , 2006 . E. Cooper, S. Lindley, P. Wadler, and J. Yallop. Links: Web Programming Without Tiers. In FMCO: Proceedings of 5th International Symposium on Formal Methods for Components and Objects, LNCS. Springer-Verlag, 2006."},{"key":"e_1_3_2_1_7_1","volume-title":"ECMAScript Language Specification","author":"International ECMA","year":"1999","unstructured":"ECMA International . Standard ECMA-262 , ECMAScript Language Specification , 3 rd edition. WWW electronic publication, December 1999 . http:\/\/www.ecma-international.org\/publications\/standards\/Ecma-262.htm. ECMA International. Standard ECMA-262, ECMAScript Language Specification, 3rd edition. WWW electronic publication, December 1999. http:\/\/www.ecma-international.org\/publications\/standards\/Ecma-262.htm.","edition":"3"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111059"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328478"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2002.806132"},{"volume-title":"Google Web Toolkit. WWW electronic publication","year":"2006","key":"e_1_3_2_1_11_1","unstructured":"Google. Google Web Toolkit. WWW electronic publication , 2006 . http:\/\/code.google.com\/webtoolkit\/. Google. Google Web Toolkit. WWW electronic publication, 2006. http:\/\/code.google.com\/webtoolkit\/."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(02)00333-X"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-004-0058-1"},{"key":"e_1_3_2_1_14_1","first-page":"122","volume-title":"Programming theWeb with High-Level Programming Languages. In ESOP '01: Proceedings of the 10th European Symposium on Programming Languages and Systems","author":"Graunke P. T.","year":"2001","unstructured":"P. T. Graunke , S. Krishnamurthi , S. V. D. Hoeven , and M. Felleisen . Programming theWeb with High-Level Programming Languages. In ESOP '01: Proceedings of the 10th European Symposium on Programming Languages and Systems , pages 122 -- 136 , London, UK , 2001 . Springer-Verlag. P. T. Graunke, S. Krishnamurthi, S. V. D. Hoeven, and M. Felleisen. Programming theWeb with High-Level Programming Languages. In ESOP '01: Proceedings of the 10th European Symposium on Programming Languages and Systems, pages 122--136, London, UK, 2001. Springer-Verlag."},{"key":"e_1_3_2_1_15_1","volume-title":"Writing secure code","author":"Howard M.","year":"2003","unstructured":"M. Howard and D. LeBlanc . Writing secure code . Microsoft Press , second edition, 2003 . M. Howard and D. LeBlanc. Writing secure code. Microsoft Press, second edition, 2003."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(99)00023-4"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-007-9008-y"},{"key":"e_1_3_2_1_18_1","volume-title":"XML Conference","author":"Meijer E.","year":"2003","unstructured":"E. Meijer , W. Schulte , and G. Bierman . Programming with circles, triangles and rectangles . In XML Conference , 2003 . E. Meijer,W. Schulte, and G. Bierman. Programming with circles, triangles and rectangles. In XML Conference, 2003."},{"key":"e_1_3_2_1_19_1","volume-title":"November","author":"Net P.","year":"2006","unstructured":"Microsoft. AS P. Net . WWW electronic publication , November 2006 . http:\/\/www.asp.net\/. Microsoft. ASP.Net. WWW electronic publication, November 2006. http:\/\/www.asp.net\/."},{"volume-title":"Language Integrated Query (LINQ). WWW electronic publication","year":"2005","key":"e_1_3_2_1_20_1","unstructured":"Microsoft. Language Integrated Query (LINQ). WWW electronic publication , 2005 . http:\/\/msdn.microsoft.com\/en-us\/netframework\/aa904594.aspx. Microsoft. Language Integrated Query (LINQ). WWW electronic publication, 2005. http:\/\/msdn.microsoft.com\/en-us\/netframework\/aa904594.aspx."},{"key":"e_1_3_2_1_21_1","first-page":"108","volume-title":"LNCS","author":"Crary T. Murphy VII, K.","year":"2008","unstructured":"T. Murphy VII, K. Crary , and R. Harper . Type-Safe Distributed Programming with ML5. In Trustworthy Global Computing , LNCS , pages 108 -- 123 . Springer , 2008 . T. Murphy VII, K. Crary, and R. Harper. Type-Safe Distributed Programming with ML5. In Trustworthy Global Computing, LNCS, pages 108--123. Springer, 2008."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040324"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268967"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351243"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01019462"},{"key":"e_1_3_2_1_26_1","volume-title":"Hacking Web Applications Exposed","author":"Scambay J.","year":"2002","unstructured":"J. Scambay and M. Shema . Hacking Web Applications Exposed . McGraw-Hill\/Osborne , 2002 . J. Scambay and M. Shema. Hacking Web Applications Exposed. McGraw-Hill\/Osborne, 2002."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1176617.1176756"},{"key":"e_1_3_2_1_28_1","volume-title":"November","author":"Microsystems Sun","year":"2006","unstructured":"Sun Microsystems . JSR 245: JavaServerTM Pages 2.1. WWW electronic publication , November 2006 . http:\/\/java.sun.com\/jsp\/. Sun Microsystems. JSR 245: JavaServerTM Pages 2.1. WWW electronic publication, November 2006. http:\/\/java.sun.com\/jsp\/."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2008.29"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4302-0285-1","volume-title":"Expert F#","author":"Syme D.","year":"2007","unstructured":"D. Syme , A. Granicz , and A. Cisternino . Expert F# . Apress, 2007 . The PHP Group . PHP : Hypertext Preprocessor . WWW electronic publication, November 2006. http:\/\/www.php.net\/. D. Syme, A. Granicz, and A. Cisternino. Expert F#. Apress, 2007. The PHP Group. PHP: Hypertext Preprocessor. WWW electronic publication, November 2006. http:\/\/www.php.net\/."},{"key":"e_1_3_2_1_31_1","unstructured":"W3C. Cascading Style Sheets Level 2 Revision 1 (CSS 2.1) Specification.  W3C. Cascading Style Sheets Level 2 Revision 1 (CSS 2.1) Specification."},{"key":"e_1_3_2_1_32_1","unstructured":"WWW electronic publication July 2007. http:\/\/www.w3.org\/TR\/2007\/CR-CSS21-20070719\/.  WWW electronic publication July 2007. http:\/\/www.w3.org\/TR\/2007\/CR-CSS21-20070719\/."},{"key":"e_1_3_2_1_33_1","volume-title":"December","author":"Specification C. HTML","year":"1999","unstructured":"W3 C. HTML 4.01 Specification . WWW electronic publication , December 1999 . http:\/\/www.w3.org\/TR\/html401\/. W3C. HTML 4.01 Specification. WWW electronic publication, December 1999. http:\/\/www.w3.org\/TR\/html401\/."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/882489.884188"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292560"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2006.75"}],"event":{"name":"POPL09: The 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Savannah GA USA","acronym":"POPL09"},"container-title":["Proceedings of the 4th international workshop on Types in language design and implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1481861.1481866","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1481861.1481866","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:30:10Z","timestamp":1750253410000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1481861.1481866"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,1,24]]},"references-count":36,"alternative-id":["10.1145\/1481861.1481866","10.1145\/1481861"],"URL":"https:\/\/doi.org\/10.1145\/1481861.1481866","relation":{},"subject":[],"published":{"date-parts":[[2009,1,24]]},"assertion":[{"value":"2009-01-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}