Martin, A. P., Gardiner, P. H. B. and Woodcock, J. C. P.
A Tactic Calculus - Full version
Formal Aspects of Computing, 8(E), .
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.
||Electronics & Computer Science
||22 Jun 1999
||18 Apr 2017 00:19
|Further Information:||Google Scholar|
Actions (login required)