Inferencia de tipos en programas lógicos mediante análisis top-down por interpretación abstracta
| Publicado en: | Workshop de Investigadores en Ciencias de la Computación (5º : 2003 : Tandil) - Universidad Nacional del Centro de la Provincia de Buenos Aires - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) - WICC 2003 [CD-ROM] - . |
|---|---|
| Autor Principal: | |
| Formato: | Capítulo de libro |
| Acceso en línea: | Consultar en el Cátalogo |
| Descripción Física: | p. 604-608 |