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

Xiaohong Chen, Minh Thai Trinh, Nishant Rodrigues, Lucas Peña, Grigore Roşu

    Research output: Contribution to journalArticlepeer-review

    4 Citations (SciVal)
    Original languageEnglish
    Article number161
    JournalProceedings of the ACM on Programming Languages
    Volume4
    Issue numberOOPSLA
    DOIs
    Publication statusPublished (VoR) - 13 Nov 2020

    Keywords

    • automated reasoning
    • fixpoints
    • induction
    • matching logic

    Fingerprint

    Dive into the research topics of 'Towards a unified proof framework for automated fixpoint reasoning using matching logic'. Together they form a unique fingerprint.

    Cite this