第二届逻辑与编程实践研讨会（LPOP）论文集
编程语言
2022-11-21 v1 人工智能
计算机科学中的逻辑
摘要
本论文集收录了第二届逻辑与编程实践（LPOP）研讨会上所呈现工作的摘要与立场论文。该研讨会于 2010 年 11 月 15 日在线虚拟举办（地点原为美国芝加哥），与 ACM SIGPLAN 系统、编程、语言及应用大会：人性化软件（SPLASH）2020 联合举行。本研讨会的宗旨是成为计算机科学中不同领域之间使用逻辑作为实用工具的桥梁。我们利用形式逻辑这一共同语言在这些不同领域之间交流思想。
引用
@article{arxiv.2211.09923,
title = {Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP)},
author = {David S. Warren and Peter Van Roy and Yanhong A. Liu},
journal= {arXiv preprint arXiv:2211.09923},
year = {2022}
}