Semántica denotacional para un cálculo-λ relacional

Mostrar todas las versiones(2)

En esta tesis trabajamos con el cálculo-λU, una extensión del cálculo-λ que incorpora las características fundamentales de la programación relacional: alternativa no determinística, secuenciación explícita, unificación de primer orden e introducción de variables frescas. Proponemos un sistema de tip...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Milicich, Mariana
Formato: Tesis de Grado
Lenguaje:Español
Publicado: 2022
Materias:
SEMANTICA DENOTACIONAL
CALCULO-λ
UNIFICACION
PROGRAMACION FUNCIONAL
PROGRAMACION LOGICA
PROGRAMACION RELACIONAL
DENOTATIONAL SEMANTICS
λ-CALCULUS
UNIFICATION
FUNCTIONAL PROGRAMMING
LOGIC PROGRAMMING
RALATIONAL PROGRAMMING
Acceso en línea:https://hdl.handle.net/20.500.12110/seminario_nCOM000492_Milicich
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares