当前位置: X-MOL 学术arXiv.cs.PL › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Proceedings of the 9th International Workshop on Verification and Program Transformation
arXiv - CS - Programming Languages Pub Date : 2021-09-05 , DOI: arxiv-2109.02001
Alexei LisitsaThe University of Liverpool, UK, Andrei P. NemytykhProgram Systems Institute of RAS, Russia

The previous VPT 2020 workshop was organized in honour of Professor Alberto Pettorossi on the occasion of his academic retirement from Universit\`a di Roma Tor Vergata. Due to the pandemic the VPT 2020 meeting was cancelled but its proceeding have already appeared in the EPTCS 320 volume. The joint VPT-20-21 event has subsumed the original programme of VPT 2020 and provided an opportunity to meet and celebrate the achievements of Professor Alberto Pettorossi; its programme was further expanded with the newly submitted presentations for VPT 2021. The aim of the VPT workshop series is to provide a forum where people from the areas of program transformation and program verification can fruitfully exchange ideas and gain a deeper understanding of the interactions between those two fields.

中文翻译:

第九届国际验证与程序转换研讨会论文集

之前的 VPT 2020 研讨会是为了纪念 Alberto Pettorossi 教授从 Universit\`a di Roma Tor Vergata 学术退休之际举办的。由于大流行,VPT 2020 会议被取消,但其会议记录已经出现在 EPCS 320 卷中。VPT-20-21 联合活动包含了 VPT 2020 的原始计划,并提供了一个见面和庆祝 Alberto Pettorossi 教授成就的机会;随着 VPT 2021 新提交的演示文稿进一步扩展了其计划。 VPT 研讨会系列的目的是提供一个论坛,让计划转型和计划验证领域的人们可以富有成效地交流想法并更深入地了解之间的互动那两个领域。
更新日期:2021-09-07
down
wechat
bug