Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866909328438460416 |
|---|---|
| author | Warren, David S. Liu, Yanhong A. |
| author_facet | Warren, David S. Liu, Yanhong A. |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2409_19211 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming Warren, David S. Liu, Yanhong A. Programming Languages 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. |
| title | Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming |
| topic | Programming Languages |
| url | https://arxiv.org/abs/2409.19211 |