2005字节码研讨会：语义、验证、分析和转换

理论计算机科学电子笔记141（2005）1www.elsevier.com/locate/entcs前言本卷包含字节码2005研讨会的会议记录，第一次字节码语义，验证，分析和转换研讨会，于2005年4月9日在爱丁堡举行，作为ETAPS2005的一部分诸如由例如Java和.NET编译器产生的字节码已经成为工业界和学术界感兴趣的话题。工业界对字节码的兴趣主要源于这样一个事实，即字节码通常用于关键环境，如互联网和智能卡。此外，字节码的一个重要特性是它是设备无关的，并允许动态加载类。对于希望将形式化方法应用于字节码的研究人员来说，字节码的这种动态特性提供了额外的挑战。此外，代码的非结构化和堆栈的普遍存在也为字节码的分析提供了额外的挑战该研讨会侧重于字节码的语义、验证、分析和转换方面的最新发展;包括新的理论成果和工具演示。作 为 研 讨 会 的 主 席 ， 我 想 感 谢 项 目 委 员 会 ， Fr'ed'ericBesson ，EtienneeGagnon，MariekeHuisman和DonSyme，他们的宝贵帮助和热情确保了活动的成功;以及ETAPS组织，即Massimo Felici，他协调了研讨会。我还要感谢所有匿名的裁判，感谢他们的辛勤工作，特别是因为他们的大部分工作都是在圣诞假期完成我还要感谢我们的特邀演讲者Xavier Leroy，他的出席以及演讲本身大大提高了本次研讨会的科学兴趣。Fausto Spoto维罗纳，2005年1571-0661 © 2005 Elsevier B. V.在CC BY-NC-ND许可下开放访问。doi：10.1016/j.entcs.2005.02.041