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

David S. Warren, Yanhong A. Liu

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 z…