Semántica para SPL

Abstract

En este trabajo se presenta un modelo de semántica para el lenguaje SPL. También se presentan varias interpretaciones del lenguaje SPL, tanto en el caso en que se incluyan restricciones como en el caso en que no se incluyan. Finalmente se enumeran las consecuencias y las ventajas deducibles del SPL y de su modelización semántica que se ha descrito.

This work presents a computational semantics model for the SPL language. Several interpretations of the SPL language, in cases with and without constraints, are included. Finally the consequences and advantages that can be drawn from SPL and its semantic modeling are described.