The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations

Abstract

Over the past three decades, a variety of meta-reasoning systems which support reasoning about higher-order abstract specifications have been designed and developed. In this paper, we survey and compare four meta-reasoning systems, Twelf, Beluga, Abella and Hybrid, using several benchmarks from the open repository ORBI that describes challenge problems for… (More)
DOI: 10.1007/s10817-015-9327-3

4 Figures and Tables

Topics

  • Presentations referencing similar topics