Búsqueda avanzada

El autor Jose F. Morales ha publicado 2 artículo(s):

1 - Lightweight compilation of (C)LP to JavaScript

We present and evaluate a compiler from Prolog (extensions) to JavaScript which makes it possible to use (constraint) logic programming to develop the client side of web applications while being compliant with current industry standards. Targeting JavaScript makes (C)LP programs executable in virtually every modern computing device with no additional software requirements from the point of view of the user. In turn, the use of a very high-level language facilitates the development of high-quality, complex software. The compiler is a back end of the Ciao system and supports most of its features, including its module system and extension mechanism. We demonstrate the maturity of the compiler by testing it with complex code such as a CLP(FD) library written in Prolog with attributed variables. Finally, we validate our proposal by measuring the performance of some LP and CLP(FD) benchmarks running on top of major JavaScript engines.

Autores: Jose F. Morales / Rémy Haemmerlé / Manuel Carro / Manuel V. Hermenegildo / 
Palabras Clave: Ciao - Implementation of Prolog - JavaScript - Logic Programming System - Modules - Prolog - Web

2 - An application of KLEE to aerospace industrial software

This work reports the initial experience of the authors on the application of KLEE to industrial aerospace software. The software consists of C mission code for the Attitude and Orbital Control System (AOCS) subsystem, together with the Simulink models from which it was automatically generated. We detail the characteristics of the software we analyzed, the workflow we created to apply KLEE in the context of Model-Driven Development, and the results and challenges we found.

Autores: Juan Francisco García / Daniel Jurjo / Fernando Macías / Jose F. Morales / Alessandra Gorla / 
Palabras Clave: Aerospace software - Industrial experience - KLEE