|
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 |