Strategic Term Rewriting and Its Application to a VDMSL to SQL Conversion.

Tiago L. Alves, Paulo F. Silva, Joost Visser, Jos Nuno Oliveira

Browse the full FM paper archive.