第九届验证与程序变换国际研讨会会议录
符号计算
2021-09-07 v1 编程语言
软件工程
摘要
此前的VPT 2020研讨会是为纪念Alberto Pettorossi教授从罗马第二大学（Università di Roma Tor Vergata）学术退休而组织的。由于疫情，VPT 2020会议被取消，但其会议录已发表于EPTCS 320卷。VPT-20-21联合活动涵盖了VPT 2020的原定程序，并提供了会面及庆祝Alberto Pettorossi教授成就的机会；其程序进一步扩充了为VPT 2021新提交的报告。VPT研讨会系列旨在提供一个论坛，使程序变换与程序验证领域的人员能够富有成效地交流思想，并深入理解这两个领域之间的相互作用。
引用
@article{arxiv.2109.02001,
title = {Proceedings of the 9th International Workshop on Verification and Program Transformation},
author = {Alexei Lisitsa and Andrei P. Nemytykh},
journal= {arXiv preprint arXiv:2109.02001},
year = {2021}
}