Skip to content

Releases: palmskog/coind-sem-while

Initial Coq files

22 Jul 08:53
@palmskog palmskog
v0
58e0435
Compare
Choose a tag to compare
Initial Coq files Latest
Latest

Initial archives of Coq files for the papers, released under the MIT license by agreement with the authors.

  • majas.tar.gz: Trace-Based Coinductive Operational Semantics for While
  • sophie.tgz: Resumptions, Weak Bisimilarity and Big-Step Semantics for While with Interactive I/O: An Exercise in Mixed Induction-Coinduction
  • abyss.tgz: A Hoare logic for the coinductive trace-based big-step semantics of While
Assets 5