ListarTeses de doutoramento por tema "Lenguajes de programación-Semántica"
Mostrando ítems 1-1 de 1
-
A casual semantics for Logic Programming
(2015)[Resumen] En esta tesis, extendemos algunas de las principales semánticas de programación lógica, de manera que la información causal asociada con un átomo sea incluida en los modelos de cada programa lógico. Técnicamente, ...