6 citations · 6 across the 4 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2024
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…
cs.PL2023★ 6 cited
Incremental Computation: What Is the Essence?
Yanhong A. Liu
Incremental computation aims to compute more efficiently on changed input by reusing previously computed results. We give a high-level overview of works on incremental computation,…