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.
|Divisions:||Faculty of Physical Sciences and Engineering > Electronics and Computer Science
|Date Deposited:||22 Jun 1999|
|Last Modified:||01 Mar 2012 10:19|
|Further Information:||Google Scholar|
|RDF:||RDF+N-Triples, RDF+N3, RDF+XML, Browse.|
Actions (login required)