2 papers
cs.PL2026
A Typestate Approach to Purpose-aware Programming
Joan Montas, Samuel Dodson, Anitha Gollamudi +1
Real-world applications often require verification that sensitive data is being used for their intended purpose. However, existing literature offers limited results regarding compi…
cs.PL2024
From Program Logics to Language Logics
Matteo Cimini
Program logics are a powerful formal method in the context of program verification. Can we develop a counterpart of program logics in the context of language verification? This pap…