Análisis automático de ejemplos de código

Ferreiro de Aguiar, Daniela (2021). Análisis automático de ejemplos de código. Proyecto Fin de Carrera / Trabajo Fin de Grado, E.T.S. de Ingenieros Informáticos (UPM), Madrid, España.

Description

Title: Análisis automático de ejemplos de código
Author/s:
  • Ferreiro de Aguiar, Daniela
Contributor/s:
  • Hermenegildo Salinas, Manuel Vicente
Item Type: Final Project
Degree: Grado en Matemáticas e Informática
Date: July 2021
Subjects:
Faculty: E.T.S. de Ingenieros Informáticos (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (2MB) | Preview

Abstract

Los cuadernos computacionales son unas de las herramientas más utilizadas en el ámbito de la investigación para documentar resultados, hallazgos o software. Esto es debido a que admite, en un mismo documento, combinar texto, imágenes, código, etc., permitiendo así generar tutoriales u otros materiales didácticos con diferentes ejemplos y mantenerlos actualizados. Siguiendo esta linea, en el presente documento presentamos un método con características similares a los cuadernos computacionales, con el propósito de mantener los tutoriales del lenguaje de programación Ciao Prolog actualizados y sin elementos obsoletos. Para ello se ha implementado la herramienta Exfilter. Esta herramienta es capaz de analizar un determinado código con CiaoPP, el prepocesador de Ciao, y aplicarle uno o varios filtros con el fin de obtener el resultado deseado. Además, para facilitar la inclusión de estos resultados en los tutoriales hemos implementado un plugin para LPdoc. Para comprobar su funcionamiento y eficacia presentaremos resultados experimentales del uso de la herramienta en tutoriales reales, así como diferentes ejemplos para explicar su uso. Además, al final de este documento se adjuntará el manual de la herramienta.---ABSTRACT---Computer notebooks are one of the most widely used tools in the field of research to document results, discoveries or software. This is because they can combine text, images, code, etc. in the same document. This allows users to generate tutorials or other didactic materials with different examples and to keep them updated. Following this line, in the present document we present a method with similar features to computer notebooks, with the aim of keeping the tutorials of the Ciao Prolog programming language updated and without obsolete elements. For this purpose, the tool Exfilter has been implemented. This tool is able to analyse a given code with CiaoPP, the Ciao preprocessor, and apply one or more filters to it in order to obtain the desired result. In addition, to facilitate the inclusion of these results in the tutorials, we have implemented a plugin for LPdoc. In order to demonstrate its effectiveness and efficiency, we will present experimental results of the use of the tool in real tutorials as well as different examples to explain its use. At the end of this document we will attach the manual of the tool.

More information

Item ID: 68369
DC Identifier: https://oa.upm.es/68369/
OAI Identifier: oai:oa.upm.es:68369
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 03 Sep 2021 07:10
Last Modified: 03 Sep 2021 07:10
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM