Lógicas e Semântica de Programas Artigo Lógicas e Semântica de Programas VISÃO INTRODUTÓRIA SOBRE OS CONCEITOS DE CÓDIGO LIMPO Autor(es): Carlos Roberto Mayer, Ademir Mazer Junior