Tactics for program support

Stream: general

[Tim Daly]

One possible use of tactics for program language support would be to craft tactics that mirror the intended semantics of the programming language. Are there any existing examples of this?