A tactic calculus. --- Abridged version

DOI10.1007/BF01213535zbMath0857.68094OpenAlexW2036502249MaRDI QIDQ1815345

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

zbMATH Keywords

tacticsangelic nondeterminismstructural combinatorstactic programs

Mathematics Subject Classification ID

Related Items (8)

Angelic nondeterminism in the unifying theories of programming ⋮ Ergo 6: A Generic Proof Engine that Uses Prolog Proof Technology ⋮ Tactics for hierarchical proof ⋮ Mechanised support for sound refinement tactics ⋮ Automating Refinement of Circus Programs ⋮ Angelic processes for CSP via the UTP ⋮ A tactic language for refinement of state-rich concurrent specifications ⋮ A tactic calculus. --- Abridged version

Uses Software

• ML

Cites Work

• Implementing tactics and tacticals in a higher-order logic programming language
• Edinburgh LCF. A mechanized logic of computation
• A tactic calculus. --- Abridged version
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A tactic calculus. --- Abridged version