使用高级抽象进行编程：第三届逻辑与编程实践研讨会论文集
编程语言
2024-10-01 v1
摘要
本论文集包含了在第三届逻辑与编程实践（LPOP）研讨会上展示的工作的摘要和立场论文。该研讨会于 2022 年 12 月 13 日通过 zoom 在线举行（网址为 stonybrook.zoom.us）。研讨会重点关注围绕集合和逻辑规则的核心高级抽象，以帮助将其引入一般的编程实践中。
引用
@article{arxiv.2409.19211,
title = {Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming},
author = {David S. Warren and Yanhong A. Liu},
journal= {arXiv preprint arXiv:2409.19211},
year = {2024}
}