Sustituciones explícitas y todo eso
Ver/
Citación
Comparte este contenido
Fecha
2000-12-01Otros contribuidores
Metadatos
Mostrar el registro completo del ítemDocumentos PDF
Resumen
Los cálculos de sustitución explícitos son extensiones del cálculo donde el mecanismo de sustitución se internaliza en la teoría. Esta característica los hace adecuados para la implementación y el estudio teórico de herramientas basadas en lógica como lenguajes de programación fuertemente tipados y sistemas de asistente de prueba.
Palabras clave
Innovaciones tecnológicas; Ciencias de la Computación; Desarrollo tecnológico; Ingeniería de sistemas; InvestigacionesKeywords
Technological innovations; Computer science; Technology development; Systems engineering; Investigations; Information and communication technologies; ICT's; Clean Sustitución; Orden superior; Teoría de la reescritura; ProgramacionEnlace al recurso
Fuente del recurso
- Revista Colombiana de Computación; Vol. 1 Núm. 1 (2000): Revista Colombiana de Computación; 46-72
Enlace a este registro en el Repositorio Institucional UNAB
http://hdl.handle.net/20.500.12749/9084
Comentarios