Coinductive Uniform Proofs: An Extended Abstract
Authors: Yue Li and Ekaterina Komendantskaya
Paper Information
| Title: | Coinductive Uniform Proofs: An Extended Abstract |
| Authors: | Yue Li and Ekaterina Komendantskaya |
| Proceedings: | PARIS Contributed papers |
| Editors: | Alexis Saurin, David Baelde and Radu Calinescu |
| Keywords: | Horn clause, coinduction, uniform proof |
| Abstract: | ABSTRACT. We propose a coinductive extension of Miller et. al.'s framework of uniform proof as a machinery for formulating and proving coinductive invariants arising from first-order Horn clause logic programming. It helps the study of coinductive logic programming. |
| Pages: | 5 |
| Talk: | Jul 08 11:45 (Session 38M: Contributed talks) |
| Paper: |  |