Otras publicaciones:
Term Hiding and its Impact on Run-time Check Simplification (Extended Abstract)
Term Hiding and its Impact on Run-time Check Simplification (Extended Abstract)
Año:2017
Áreas de investigación
-
Ciencias de la computación y tecnología informática
Datos
|
Descripción
|
|
|---|---|
| This paper describes a prototype implementation of encapsulation mechanism in module systems of dynamic languages and reports preliminary results of its use, namely the implications for reducing the run-time overhead associated with checking of program specifications. To appear in OASICS | |
|
Internacional
|
Si |
|
Entidad
|
OASIcs |
|
Lugar
|
Melbourne, Australia |
|
Páginas
|
2 |
|
Referencia/URL
|
Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017) |
|
Tipo de publicación
|
ICLP technical communication |
Participantes
- Autor: Nataliia Stulova . (UPM)
- Autor: Jose Francisco Morales Caballero (UPM)
- Autor: Manuel de Hermenegildo Salinas (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
- Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
- Departamento: Inteligencia Artificial
S2i 2023 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)