Memorias de investigación
Other publications:
Term Hiding and its Impact on Run-time Check Simplification (Extended Abstract)
Year:2017

Research Areas
  • Information technology and adata processing

Information
Abstract
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
International
Si
Entity
OASIcs
Place
Melbourne, Australia
Pages
2
Reference/URL
Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017)
Publication type
ICLP technical communication
Participants

Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Inteligencia Artificial