Searching for "Hoare Logic in the Abstract." – sorted by Relevance.
9 documents found, showing 1 through 9.
-
and
- … programs is to combine Hoare logic and abstract interpretation. Constructing proofs is in Hoare logic…
- Add To MetaCart
-
Goal-directed weakening of abstract interpretation results. Submitted for publication
- … and abstract interpretation. Constructing proofs is in Hoare logic. Discovering programs’ invariants is done…
- Cited by 1 (0 self) – Add To MetaCart
-
T.: Foundational certification of data-flow analyses
- … system are derivable in the Hoare logic for the abstract property semantics and those in turn…
- Cited by 2 (1 self) – Add To MetaCart
-
Automated reasoning in Kleene algebra
- … equational and can be automated. The previous considerations about Hoare logic abstracted from the assignment…
- Cited by 4 (2 self) – Add To MetaCart
-
Compositional type systems for stack-based low-level languages
- … With the abstract semantics defined, we are now ready to show that the Hoare logic we have formulated for SPush can…
- Cited by 4 (4 self) – Add To MetaCart
-
Extending Hoare Logic to Real-Time
- … logic Abstract. Classical Hoare triples are modified to specify and design distributed real…
- Add To MetaCart
-
The Open Verifier framework for foundational verifiers
- … depend on anything from Hoare logic, to abstract interpretation or dataflow analysis based on complex…
- Cited by 21 (7 self) – Add To MetaCart
-
Ensuring Efficiently the Integrity of Persistent Object Systems Via Interpretation.
- … to automation. Going from Hoare's logic to abstract interpretation is not a mere matter of cosmetics, but a…
- Cited by 6 (2 self) – Add To MetaCart
-
Ensuring Efficiently the Integrity of Persistent Object Systems Via Interpretation.
- … to automation. Going from Hoare's logic to abstract interpretation is not a mere matter of cosmetics, but a…
- Add To MetaCart
Showing 1 through 9.
