88098SEMÂNTICA DE PROGRAMAÇÃOPTptVocabulário Controlado da USP active approved SEMÂNTICA DE PROGRAMAÇÃOSEMÂNTICA DE PROGRAMAÇÃOBT93939TEORIA DA COMPUTAÇÃOPTNT45348FUNDAMENTOS DA SEMÂNTICA DE PROGRAMAÇÃOPT