Mercurial > hg > Papers > 2020 > ryokka-master

view paper/hoare.tex @ 0:41a936510fd0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initialize
author ryokka
date Thu, 02 Jan 2020 21:25:52 +0900
parents
children ee44dbda6bd3
line wrap: on
line source

\chapter{Floyd-Hoare Logic}
HoareLogic の話

\section{Hoare Triple}
HoareLogic の概念

\section{Agda での Hoare Logic}
人のコード解説になりそう


\section{Hoare Logic の Soundness}
Soundness 周り

\section{Hoare Logic での証明}
whileTestPrim.agda の解説