A Tactic Calculus - Full version

Martin, A. P., Gardiner, P. H. B. and Woodcock, J. C. P. (1996) A Tactic Calculus - Full version. Formal Aspects of Computing, 8(E), 224-285.


Full text not available from this repository.


We present a very general language for expressing tactic programs. The paper describes some essential tactic combinators (tacticals), and gives them a formal semantics. Those definitions are used to produce a complete calculus for reasoning about tactics written in this language. The language is extended to cover structural combinators which enable the tactics to be precisely targeted upon particular sub-expressions.

Item Type: Article
Additional Information: http://www.dcs.glasgow.ac.uk/~jon/facs/e-papers/FACj_8E_pp244-285.ps.Z
ISSNs: 0934-5043
Divisions : Faculty of Physical Sciences and Engineering > Electronics and Computer Science
ePrint ID: 250613
Accepted Date and Publication Date:
Date Deposited: 22 Jun 1999
Last Modified: 27 Mar 2014 19:51
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/250613

Actions (login required)

View Item View Item