A case study in programming coinductive proofs: Howe’s method

Article Properties
Abstract
Cite
MOMIGLIANO, ALBERTO, et al. “A Case Study in Programming Coinductive Proofs: Howe’s Method”. Mathematical Structures in Computer Science, vol. 29, no. 8, 2018, pp. 1309-43, https://doi.org/10.1017/s0960129518000415.
MOMIGLIANO, A., PIENTKA, B., & THIBODEAU, D. (2018). A case study in programming coinductive proofs: Howe’s method. Mathematical Structures in Computer Science, 29(8), 1309-1343. https://doi.org/10.1017/s0960129518000415
MOMIGLIANO, ALBERTO, BRIGITTE PIENTKA, and DAVID THIBODEAU. “A Case Study in Programming Coinductive Proofs: Howe’s Method”. Mathematical Structures in Computer Science 29, no. 8 (2018): 1309-43. https://doi.org/10.1017/s0960129518000415.
MOMIGLIANO A, PIENTKA B, THIBODEAU D. A case study in programming coinductive proofs: Howe’s method. Mathematical Structures in Computer Science. 2018;29(8):1309-43.
Journal Categories
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Computer software
Technology
Electrical engineering
Electronics
Nuclear engineering
Electronics
Computer engineering
Computer hardware
Refrences
Title Journal Journal Categories Citations Publication Date
αcheck: A mechanized metatheory model checker 2017
10.1007/978-3-319-66167-4_1 2017
10.1145/2676724.2693170 2015
Abella: A system for reasoning about relational specifications 2014
Proceedings of the 6th Conference on Certified Programs and Proofs (CPP'17) 2017