【24h】

Preface

机译:前言

获取原文
获取原文并翻译 | 示例

摘要

Static analysis is recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for the presentation of theoretical, practical, and applicational advances in the area. Previous symposia were held in Edinburgh, Saint-Malo, Munich, Seattle, Deauville, Venice, Perpignan, Los Angeles, Valencia, Kongens Lyngby, Seoul, London, Verona, San Diego, Madrid, Paris, Santa Barbara, Pisa, Aachen, Glasgow, Namur, and New York. This volume contains the papers presented at SAS 2018, the 25th International Static Analysis Symposium. The conference was held during August 29-31, 2018, at Freiburg, Germany.
机译:静态分析被认为是程序验证,错误检测,编译器优化,程序理解和软件维护的基本工具。静态分析专题讨论会系列文章一直是介绍该领域的理论,实践和应用进展的主要场所。以前的座谈会在爱丁堡,圣马洛,慕尼黑,西雅图,多维尔,威尼斯,佩皮尼昂,洛杉矶,巴伦西亚,孔恩斯·林比,首尔,伦敦,维罗纳,圣地亚哥,马德里,巴黎,圣塔芭芭拉,比萨,亚琛,格拉斯哥举行,那慕尔和纽约。本卷包含在SAS 2018(第25届国际静态分析研讨会)上发表的论文。会议于2018年8月29日至31日在德国弗莱堡举行。

著录项

  • 来源
    《Static analysis》|2018年|Ⅴ-Ⅵ|共2页
  • 会议地点 Freiburg(DE)
  • 作者

    Andreas Podelski; Xavier Rival;

  • 作者单位
  • 会议组织
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

  • 入库时间 2022-08-26 14:31:40

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号