#
hoare
Here are 2 public repositories matching this topic...
The while-language is a toy programming language that consists only of the most basic control flow structures. It's advantage is that programs can be verified easily.
-
Updated
Jan 5, 2021 - Java
Improve this page
Add a description, image, and links to the hoare topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the hoare topic, visit your repo's landing page and select "manage topics."