Home » Authors » Robbert Krebbers, Luko van der Maas, Enrico Tassi

Robbert Krebbers, Luko van der Maas, Enrico Tassi

Public reference bibliography and cataloged PDF materials authored or published by Robbert Krebbers, Luko van der Maas, Enrico Tassi.

Found 1 document(s) Page 1 of 1

Inductive Predicates via Least Fixpoints in Higher-Order Separation Logic

Year: 2025 • Source: hal.science • Listed PDF

Inductive predicates play a key role in program verification using separation logic. There are many methods for defining such predicates in separation logic, which all have different conditions and thus support different...