第三届验证与程序变换国际研讨会会议录
计算机科学中的逻辑
2015-12-09 v1 编程语言
软件工程
摘要
本卷收录了在2015年4月11日于英国伦敦举行的第三届验证与程序变换国际研讨会（VPT 2015）上所发表论文中选出的文章。该研讨会的先前届次于2013年在圣彼得堡（俄罗斯）和2014年在维也纳（奥地利）举行。那些论文表明，在程序变换领域开发的方法与工具，如部分求值、fold/unfold变换以及超编译，可应用于软件系统的验证。它们也展示了一些程序验证方法，如模型检测技术、抽象解释、SAT与SMT求解以及自动定理证明，如何被用于增强程序变换技术，从而使这些技术在实践中更强大且有用。
引用
@article{arxiv.1512.02215,
title = {Proceedings of the Third International Workshop on Verification and Program Transformation},
author = {Alexei Lisitsa and Andrei P. Nemytykh and Alberto Pettorossi},
journal= {arXiv preprint arXiv:1512.02215},
year = {2015}
}