Now showing items 1-1 of 1

    • Construcción de un compilador de asertos de programación metódica 

      Berolatti Gonzales, Diego (Pontificia Universidad Católica del PerúPE, 2014-11-12)
      Siempre ha existido la necesidad de validar la codificación de un programa. Este proyecto tiene como objetivo la implementación de un compilador que, mediante notaciones matemáticas que especifican un programa, genere ...