Tactic Languages is a formal language system used in proof assistants that enables the definition and composition of tactics—procedural programs for constructing formal proofs—distinguished by their domain-specific focus on guiding interactive theorem proving through structured logical transformations.
14
Publications
369
Citations
35
Authors
26
Institutions
Publications per year
2017–2026
3
Parents
Publications
14
A tactic calculus — abridged version
Andrew Martin, P. H. B. Gardiner, Jim Woodcock · Formal Aspects of Computing · 1996 · 39 citations · Full text
1–5 of 14
Authors
35
- AC
3
h-index
- MO
2
h-index
- DD
2
h-index
- BZ
2
h-index
- JW
2
h-index
1–5 of 35
Institutions
26
University of York
York, United Kingdom
2 h-index
2 publications
22 citations
University of Kent
Canterbury, United Kingdom
2 h-index
4 publications
104 citations
Universidade Federal de Pernambuco
Recife, Brazil
2 h-index
2 publications
52 citations
Max Planck Institute for Software Systems
Saarbrücken, Germany
2 h-index
5 publications
117 citations
University of Oxford
Oxford, United Kingdom
2 h-index
5 publications
150 citations
Oxford Research Group
London, United Kingdom
2 h-index
5 publications
150 citations
Saarland University
Saarbrücken, Germany
1 h-index
3 publications
111 citations
AT&T (United States)
Bedminster, United States
1 h-index
1 publications
66 citations
1–8 of 26
Venues
- Formal Aspects of Computing
2 publications · 80 citations
2
h-index
- Electronic Notes in Theoretical Computer Science
ENTCS · 2 publications · 34 citations
2
h-index
- Journal of Functional Programming
1 publications · 25 citations
1
h-index
- Philosophical Transactions of the Royal Society of London Series A Physical and Engineering Sciences
1 publications · 24 citations
1
h-index
- Proceedings of the ACM on Programming Languages
PACMPL · 1 publications · 21 citations
1
h-index
1–5