hoare-logic tag

Publications

Ordered by date created, newest first. All 1 publications are shown on this page.

Rendanheyi is a Hoare program: every script as a micro-enterprise 2026-07-16 · article
Treat each deterministic script as a micro-enterprise: precondition, body, postcondition plus witness, refusal condition, bounded resources. Route, don't prompt