@booklet {Silva:2008,
	title = {Report on the Design of a Galculator},
	number = {FAST:08.01},
	year = {2008},
	publisher = {CCTC, Departamento de Inform{\'a}tica, Universidade do Minho},
	abstract = {<p>This report presents the Galculator, a tool aimed at deriving equational proofs in arbitrary domains using Galois connections as the fundamental concept. When combined with the pointfree transform and the indirect equality principle, Galois connections offer a very powerful, generic device to tackle the complexity of proofs in program verification.</p>
<p>We show how rewriting rules derived from the properties of the Galois connections are applied in proofs using a strategic term rewriting system which, in the current prototype, is implemented in Haskell. The prospect of integrating the Galculator with other proof assistants such as e.g. Coq is also discussed.</p>
},
	attachments = {https://haslab.uminho.pt/sites/default/files/pfsilva/files/techicalreport-fast-08-01.pdf},
	author = {Paulo Silva and Jos{\'e} Nuno Oliveira}
}