8 citations · 11 across the 8 of their papers we have counts for
Showing 2024 · cs.PLShow all
2 papers · 2 filters
cs.PL2024★ 1 cited
The Continuous Tensor Abstraction: Where Indices are Real
Jaeyeon Won, Willow Ahrens, Teodoro Fields Collin +2
This paper introduces the continuous tensor abstraction, allowing indices to take real-number values (for example, A[3.14]). It also presents continuous tensor algebra expressions,…
cs.PL2024★ 8 cited
Mechanised Hypersafety Proofs about Structured Data: Extended Version
Vladimir Gladshtein, Qiyuan Zhao, Willow Ahrens +2
Arrays are a fundamental abstraction to represent collections of data. It is often possible to exploit structural properties of the data stored in an array (e.g., repetition or spa…