hoare-logic

This paper introduces Hecate, the first tool that quantifies complexity across both prompt and code layers in LLM-integrated applications, using a Prompt-as-Specification formalism rooted in Hoare logic and evaluating 52 candidate metrics on open-source repositories to identify those that capture structural breadth beyond traditional code-only metrics.