Combining Deduction Modulo and Logics of Fixed-Point Definitions
From MaRDI portal
Publication:2986786
DOI10.1109/LICS.2012.22zbMath1361.68132arXiv1204.6236MaRDI QIDQ2986786
Gopalan Nadathur, David Baelde
Publication date: 16 May 2017
Published in: 2012 27th Annual IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1204.6236
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)
Related Items (2)
Unnamed Item ⋮ A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs
This page was built for publication: Combining Deduction Modulo and Logics of Fixed-Point Definitions