Contribuciones topológicas y algebraicas a los métodos formales en programación declarativa
1993
LAS CONTRIBUCIONES DE LA PRESENTE TESIS DOCTORAL PUEDEN
CLASIFICARSE EN CONTRIBUCIONES TOPOLOGICAS Y
CONTRIBUCIONES ALGEBRAICAS, REFERENTE A LAS
CONTRIBUCIONES TOPOLOGICAS PODEMOS DECIR QUE BASICAMENTE
SE HAN APORTADO DOS CONCEPTOS MATEMATICOS: "LOS ESPACIOS
SEMANTICOS" Y "EL AXIOMA DE COMPACIDAD". LOS PROPOSITOS
FUNDAMENTALES DE ESTAS APORTACIONES ES PROPORCIONAR UN
CUERPO DE DOCTRINA PARA PODER MODELIZAR SISTEMAS
DEDUCTIVOS. ESTOS CONCEPTOS APORTADOS SE HAN APLICADO A
LA DESCRIPCION DE LA SINTAXIS Y SEMANTICA DE LOS
LENGUAJES DE PROGRAMACION FUNCIONALES Y LOGICOS, Y A LA
DESCRIPCION DE LA LOGICA MATEMATICA DE PRIMER ORDEN.
EN CUANTO A LAS
CONTRIBUCIONES ALGEBRAICAS PODEMOS DECIR QUE SE HA
APORTADO EL ANILLO DE LAS MARANAS, CUYO PROPOSITO
FUNDAMENTAL HA SIDO EL DE MODELIZAR LAS ESTRUCTURAS DE
DATOS QUE APARECEN EN PROGRAMACION DECLARATIVA. DICHA
ESTRUCTURA ALGEBRAICA HA SIDO APLICADA A: LA DESCRIPCION
DE LAS ECUACIONES "GUARDED" (EN EL SENTIDO DE HOARE), Y A
LA DESCRIPCION DE LA OPERACION DE UNIFICACION DE
EXPRESIONES.
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI