Sustituciones explícitas y todo eso

Thumbnail
View/Open
Share this
Date
2000-12-01
Author
Ayala Rincón, Mauricio
logo-ORCID  logo-GScholar  logo-ResearchGate  
Muñoz, César
Other contributors
Gestores bibliográficos
Metadata
Show full item record
Documents PDF
Abstract
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.
Lemb keywords
Innovaciones tecnológicas; Ciencias de la Computación; Desarrollo tecnológico; Ingeniería de sistemas; Investigaciones
Keywords
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; Programacion
Link to resource
Source
  • Revista Colombiana de Computación; Vol. 1 Núm. 1 (2000): Revista Colombiana de Computación; 46-72
URI
http://hdl.handle.net/20.500.12749/9084
Estadísticas Google Analytics
Comments
Collections
Atribución-NoComercial-SinDerivadas 2.5 Colombia
Except where otherwise noted, this item's license is described as Atribución-NoComercial-SinDerivadas 2.5 Colombia