BibTeX
@MISC{Oliveira_tacticsof,
author = {Marcel Oliveira and Ana Cavalcanti},
title = {Tactics of Renement},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
The renement calculus is a modern technique of formal program development. Its application, however, may lead to long and repetitive developments. In this paper we present a language to write renement tactics, and present examples of useful tactics. They encompass the applica-tion of several renement laws, but can be used as a single transformation rule. Using tactics is not a novel idea, but apparently, in the context of renement the only existing work uses Prolog as a tactic language. Our language does not depend of any programming language or tool. Also, we are not aware of any presentation of renement strategies written in the form of tactics as we present here.
