Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming
David S. Warren, Yanhong A. Liu
TL;DR
This proceedings contains abstracts and position papers for the work presented at the third Logic and Practice of Programming (LPOP) Workshop, which focused on core high-level abstractions around sets and logic rules, to help bring them to the general practice of programming.
Abstract
This proceedings contains abstracts and position papers for the work presented at the third Logic and Practice of Programming (LPOP) Workshop. The workshop was held online, using zoom, at stonybrook.zoom.us, on December 13, 2022. The workshop focused on core high-level abstractions around sets and logic rules, to help bring them to the general practice of programming.