Type based software verification

基于类型的软件验证

• 批准号: 298311-2007
• 负责人: Monnier, Stefan
• 金额: $ 1.75万
• 依托单位: Université de Montréal
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2011
• 资助国家: 加拿大
• 起止时间: 2011-01-01 至 2012-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=480675
• 关键词: Type; based; software; verification

Security and reliability of computer systems has taken a new significance with the development of the Internet and more generally with the use of computers in all parts of our lives. The recent success of Java despite its relative slowness and its use of a memory management technique reputed inefficient (a garbage collector), shows how much the focus has shifted away from performance to robustness and ease of development.

随着互联网的发展以及更普遍地随着计算机在我们生活各个方面的使用，计算机系统的安全性和可靠性具有了新的意义。 尽管 Java 相对较慢并且使用了效率低下的内存管理技术（垃圾收集器），但它最近取得的成功表明人们的关注点已从性能转向健壮性和易于开发。