Exploiting Term Hiding to Reduce Run-time Checking Overhead

Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo

One of the most attractive features of untyped languages is the flexibility in term creation and manipulation. However, with such power comes the responsibility of ensuring the cor…