Evaluating knowledge representations for program characterization

• Autor(a) principal: Fabrício Filho, João
• Data de Publicação: 2017
• Outros Autores: Rodriguez, Luis Gustavo Araujo, Silva, Anderson Faustino da
• Tipo de documento: Artigo de conferência
• Idioma: eng
• Título da fonte: Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))
• Texto Completo: http://repositorio.utfpr.edu.br/jspui/handle/1/2788; http://dx.doi.org/10.5220/0006333605820590
• topic: Representação do conhecimento (Teoria da informação); Compiladores (Programas de computador); Processamento eletrônico de dados; Knowledge representation (Information theory); Compilers (Computer programs); Electronic data processing; CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO

Knowledge representation attempts to organize the knowledge of a context in order for automated systems to utilize it to solve complex problems. Among several difficult problems, one worth mentioning is called code-generation, which is undecidable due to its complexity. A technique to mitigate this problem is to represent the knowledge and use an automatic reasoning system to infer an acceptable solution. This article evaluates knowledge representations for program characterization for the context of code-generation systems. The experimental results prove that program Numerical Features as knowledge representation can achieve 85% near to the best possible results. Furthermore, such results demonstrate that an automatic code-generating system, which uses this knowledge representation is capable to obtain performance better than others codegenerating systems.