Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Abstract : We present a tutorial on the Abella theorem prover that is designed to reason about relational specifications in higher-order abstract syntax.
https://hal.inria.fr/hal-01222774 Contributor : Kaustuv ChaudhuriConnect in order to contact the contributor Submitted on : Friday, October 30, 2015 - 3:09:53 PM Last modification on : Wednesday, February 2, 2022 - 3:53:51 PM Long-term archiving on: : Friday, April 28, 2017 - 6:45:13 AM
Kaustuv Chaudhuri, Gopalan Nadathur. Reasoning about Computational Systems using Abella. Abella Tutorial, Aug 2015, Berlin, Germany. 2015. ⟨hal-01222774⟩