• Login
    View Item 
    •   DSpace Home
    • Tesis y Trabajos de Investigación PUCP
    • 3. Licenciatura
    • Facultad de Ciencias e Ingeniería
    • Ingeniería Informática
    • View Item
    •   DSpace Home
    • Tesis y Trabajos de Investigación PUCP
    • 3. Licenciatura
    • Facultad de Ciencias e Ingeniería
    • Ingeniería Informática
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

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

    xmlui.mirage2.item-list.thumbnail
    Date
    2014-11-12
    Fecha de creación
    2014-11-12
    Author
    Berolatti Gonzales, Diego
    Metadata
    Show full item record
    URI
    http://hdl.handle.net/20.500.12404/5724
    Fuente
    Pontificia Universidad Católica del Perú
    Abstract
    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 las instrucciones de manera automática. El resultado tiene como principal característica que es formalmente correcto. Esto se da debido a que el compilador implementa una metodología llamada derivación de programas la cual garantiza esa característica. La implementación de esta metodología se da mediante la estructura formal de un compilador y la inclusión de un autómata adaptativo capaz de aplicar las reglas de programación metódica. El proyecto tiene como alcance el no aplicar ninguna regla que implique resolver un problema de complejidad np. Debido a esto la expresividad del lenguaje y su capacidad de generación automática se encuentra limitada. El resultado es un compilador capaz de generar código de manera automática en base a las especificaciones que el compilador es capaz de compilar. Este proyecto es la base de los compiladores de programación automática.
    Temas
    Compiladores (Programas para computadoras)
    Algoritmos
    Informática
    Collections
    • Ingeniería Informática

    DSpace software copyright © 2002-2016  DuraSpace
    Contact Us | Send Feedback
    Theme by 
    Atmire NV
     

     

    PoliticasVer Políticas

    Browse

    All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

    My Account

    LoginRegister

    Statistics

    View Usage Statistics

    DSpace software copyright © 2002-2016  DuraSpace
    Contact Us | Send Feedback
    Theme by 
    Atmire NV