| 书目名称 | Verification, Model Checking, and Abstract Interpretation | | 副标题 | 10th International C | | 编辑 | Neil D. Jones,Markus Müller-Olm | | 视频video | | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | This volume contains the proceedings of the 10th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2009), held in Savannah, Georgia, USA, January 18–20, 2009. VMCAI 2009 was the 10th in a series of meetings. Previous meetings were heldinPortJe?erson1997,Pisa1998,Venice2002,NewYork2003,Venice2004, Paris 2005, Charleston 2006, Nice 2007, and San Francisco 2008. VMCAI centers on state-of-the-art research relevant to analysis of programs and systems and drawn from three research communities: veri?cation, model checking, and abstract interpretation. A goal is to facilitate interaction, cro- fertilization, and the advance of hybrid methods that combine two or all three areas. Topics covered by VMCAI include program veri?cation, program cert- cation, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, type systems, deductive methods, and optimization. The Program Committee selected 24 papers out of 72 submissions based on anonymous reviews and discussions in an electronic Program Committee me- ing. The principal selection criteria were relevance and quality. VMCAI has a tradition of inviting distinguis | | 出版日期 | Conference proceedings 2009 | | 关键词 | Action; abstract domains; abstraction; debugging techniques; formal methods; higher-order languages; optim | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-540-93900-9 | | isbn_softcover | 978-3-540-93899-6 | | isbn_ebook | 978-3-540-93900-9Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 2009 |
The information of publication is updating
书目名称Verification, Model Checking, and Abstract Interpretation影响因子(影响力)
书目名称Verification, Model Checking, and Abstract Interpretation影响因子(影响力)学科排名
书目名称Verification, Model Checking, and Abstract Interpretation网络公开度
书目名称Verification, Model Checking, and Abstract Interpretation网络公开度学科排名
书目名称Verification, Model Checking, and Abstract Interpretation被引频次
书目名称Verification, Model Checking, and Abstract Interpretation被引频次学科排名
书目名称Verification, Model Checking, and Abstract Interpretation年度引用
书目名称Verification, Model Checking, and Abstract Interpretation年度引用学科排名
书目名称Verification, Model Checking, and Abstract Interpretation读者反馈
书目名称Verification, Model Checking, and Abstract Interpretation读者反馈学科排名
|
|
|
发表于 2025-3-21 19:19:12
