List of works - John M. Li - Paulina

List of works by John M. Li

A Nominal Approach to Probabilistic Separation Logic

scientific article published on 21 June 2024

Deriving efficient program transformations from rewrite rules

scientific article published on 19 August 2021

Lilac: A Modal Separation Logic for Conditional Probability

scientific article published on 06 June 2023

Paulina is supported by:

About Paulina

Help