Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming

TL;DR

This collection of papers from the LPOP Workshop discusses the development and application of high-level abstractions based on sets and logic rules to improve programming practices.

Contribution

It presents recent work on integrating high-level logical abstractions into programming, aiming to make them more accessible for general practice.

Findings

Enhanced understanding of set-based abstractions

Proposed new logic rule frameworks

Discussion on practical implementation challenges

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.