逻辑与语义框架及其应用第十八届国际研讨会、以及用于验证与综合的Horn子句第十届研讨会论文集
计算机科学中的逻辑
2024-04-23 v1 编程语言
符号计算
软件工程
摘要
本卷包含：* 第十八届逻辑与语义框架及其应用国际研讨会（LSFA 2023）的会后论文集。会议于2023年7月1日至2日举行，由罗马萨皮恩扎大学组织。LSFA旨在汇集对逻辑与语义框架的理论与实践及其应用感兴趣的研究人员和学生。涵盖的主题包括证明论、重写理论、规范与演绎语言，以及语言和系统的形式语义。* 第十届用于验证与综合的Horn子句研讨会（HCVS 2023）的会后论文集。会议于2023年4月23日在巴黎庞加莱研究所举行。HCVS旨在汇集约束/逻辑编程（如ICLP和CP）、程序验证（如CAV、TACAS和VMCAI）以及自动演绎（如CADE、IJCAR）两个领域的研究人员，共同探讨基于Horn子句的分析、验证与综合。
关键词
引用
@article{arxiv.2404.13672,
title = {Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis},
author = {Temur Kutsia and Daniel Ventura and David Monniaux and José F. Morales},
journal= {arXiv preprint arXiv:2404.13672},
year = {2024}
}