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), pp. 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
Organisations: Electronics & Computer Science
ePrint ID: 250613
Date :
Date Event
Date Deposited: 22 Jun 1999
Last Modified: 18 Apr 2017 00:19
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/250613

Actions (login required)

View Item View Item