Um método indutivo de transformação de programas

Authors

Keywords

Program Transformation, Recursion

Subject

Automatic Programming

Conference

Primeiro Congresso Português de Informática, May 1980