A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While

@inproceedings{Nakata2010AHL,
  title={A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While},
  author={Keiko Nakata and Tarmo Uustalu},
  booktitle={ESOP},
  year={2010}
}
Highly Cited
This paper has 33 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
20 Citations
0 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 20 extracted citations

Similar Papers

Loading similar papers…