论文标题
关于逻辑和编程实践的第二届研讨会论文集（LPOP）
Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP)
论文作者
论文摘要
该程序包含摘要和位置论文，用于在第二次逻辑和编程实践（LPOP）研讨会上提出的工作。该研讨会于2010年11月15日在网上举行，实际上是在美国芝加哥举行的，并与ACM Sigplan会议上的系统，编程，语言，语言和应用程序结合：人类软件（Splash）2020。该研讨会的目的是将其目的是使用逻辑的不同领域的桥梁，该领域将逻辑用作实用工具。我们利用正式逻辑的通用语言来在这些不同领域之间交换思想。
This proceedings contains abstracts and position papers for the work presented at the second Logic and Practice of Programming (LPOP) Workshop. The workshop was held online, virtually in place of Chicago, USA, on November 15, 2010, in conjunction with the ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH) 2020. The purpose of this workshop is to be a bridge between different areas of computer science that use logic as a practical tool. We take advantage of the common language of formal logic to exchange ideas between these different areas.
