La noción de principalidad en especialización de tipos

Cuando se consideran las maneras de producir programas, la técnica principal que viene a la mente de cada uno de nosotros es la de escribir el programa a mano. Aunque existen técnicas de derivación y herramientas para producir programas automáticamente, su aplicación está usualmente restringida a ci...

Descripción completa

Detalles Bibliográficos
Autor principal: Martínez López, Pablo Ernesto
Otros Autores: Hughes, John
Formato: Tesis doctoral publishedVersion
Lenguaje:Español
Publicado: Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales 2005
Materias:
ESPECIALIZACION PRINCIPAL DE TIPOS
ESPECIALIZACION DE TIPOS
ESPECIALIZACION DE PROGRAMAS
PRODUCCION AUTOMATICA DE PROGRAMAS
PROGRAMAS POLIMORFICOS
PRINCIPAL TYPE SPECIALISATION
TYPE SPECIALISATION
PROGRAM SPECIALISATION
AUTOMATIC PROGRAM PRODUCTION
POLYMORPHIC PROGRAMS
Acceso en línea:https://hdl.handle.net/20.500.12110/tesis_n4100_MartinezLopez
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares