Pages that link to "Item:Q1815345"
From MaRDI portal
The following pages link to A tactic calculus. --- Abridged version (Q1815345):
Displaying 13 items.
- Mechanised support for sound refinement tactics (Q432151) (← links)
- A tactic language for refinement of state-rich concurrent specifications (Q541214) (← links)
- Tactics for hierarchical proof (Q626933) (← links)
- ArcAngel: a tactic language for refinement (Q706504) (← links)
- Angelic nondeterminism in the unifying theories of programming (Q851128) (← links)
- Program tactics and logic tactics (Q1380427) (← links)
- Angelic processes for CSP via the UTP (Q1757156) (← links)
- A tactic calculus. --- Abridged version (Q1815345) (← links)
- Crystal: Integrating structured queries into a tactic language (Q2655333) (← links)
- A calculus of tactics and its operational semantics (Q2847396) (← links)
- Tinycals: step by step tacticals (Q2867943) (← links)
- Automating Refinement of Circus Programs (Q2999326) (← links)
- Ergo 6: A Generic Proof Engine that Uses Prolog Proof Technology (Q4827602) (← links)