Login / Signup

Towards a unified proof framework for automated fixpoint reasoning using matching logic.

Xiaohong ChenMinh-Thai TrinhNishant RodriguesLucas PeñaGrigore Rosu
Published in: Proc. ACM Program. Lang. (2020)
Keyphrases