Search papers, labs, and topics across Lattice.
Affiliation:
2
0
2
2
Abstract compilation can now achieve optimal recurrence extraction for recursive programs, unlocking new avenues for precise cost analysis.
Bridging Ciao assertions with LPTP theorems reveals new pathways for robust program verification by leveraging the strengths of both frameworks.
