A tactic calculus. --- Abridged version
From MaRDI portal
Publication:1815345
DOI10.1007/BF01213535zbMATH Open0857.68094OpenAlexW2036502249MaRDI QIDQ1815345FDOQ1815345
Authors: Yanyan Li 
Publication date: 10 November 1996
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01213535
Recommendations
Cites Work
- Edinburgh LCF. A mechanized logic of computation
- Title not available (Why is that?)
- A tactic calculus. --- Abridged version
- Title not available (Why is that?)
- Implementing tactics and tacticals in a higher-order logic programming language
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (15)
- Angelic nondeterminism in the unifying theories of programming
- Title not available (Why is that?)
- Ergo 6: A Generic Proof Engine that Uses Prolog Proof Technology
- Mechanised support for sound refinement tactics
- Angelic processes for CSP via the UTP
- Crystal: Integrating structured queries into a tactic language
- Automating refinement of Circus programs
- A tactic calculus. --- Abridged version
- Tinycals: step by step tacticals
- Tactics for hierarchical proof
- A Proof-Theoretic Approach to Tactics
- A tactic language for refinement of state-rich concurrent specifications
- ArcAngel: a tactic language for refinement
- A calculus of tactics and its operational semantics
- A Tactic Language for Hiproofs
Uses Software
This page was built for publication: A tactic calculus. --- Abridged version
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1815345)
