Automatic Analysis of the Logical Structure of Programs

This report presents a method for viewing complex programs as built up out of simpler ones. The central idea is that typical programs are built up in a small number of stereotyped ways. The method is designed to make it easier for an automatic system to work with programs. It focuses on how th...

ver descrição completa

Detalhes bibliográficos
Autor principal: Waters, Richard C.
Idioma:en_US
Publicado em: 2004
Acesso em linha:http://hdl.handle.net/1721.1/6929