Listar por tema "Programming Languages"

Mostrando ítems 1-2 de 2

    • Implementación de un sistema de aprendizaje de lenguajes de programación en línea para JavaScript y Haskell 

      Peña Peñaloza, Johan Sebastian; Ramos Bermudez, Laura Milena; Castro Susa, Leonardo (Escuela Colombiana de Ingeniería Julio GaravitoIngeniería de Sistemas, 2018)
      IPP5 es una aplicación web desarrollada como herramienta de apoyo para ayudar a los estudiantes de la Escuela Colombiana de Ingeniería Julio Garavito a mejorar sus niveles de entendimiento sobre los lenguajes de programación. ...

    • Rewriting Logic Semantics of a Plan Execution Language 

      Dowek, Gilles; Muñoz, César; Rocha, Camilo (E.E.U.U., 2010)
      The Plan Execution Interchange Language (PLEXIL) is a synchronous language developed by NASA to support autonomous spacecraft operations. In this paper, we propose a rewriting logic semantics of PLEXIL in Maude, a ...