Towards run-time checks simplification via term hiding
N Stulova, JF Morales… - … Communications of the …, 2018 - drops.dagstuhl.de
One of the most attractive features of untyped languages for programmers is the flexibility in
term creation and manipulation. However, with such power comes the responsibility of …
term creation and manipulation. However, with such power comes the responsibility of …
On Improving Run-time Checking in Dynamic Languages
N Stulova - Technical Communications of the 33rd International …, 2018 - drops.dagstuhl.de
In order to detect incorrect program behaviors, a number of approaches have been
proposed, which include a combination of language-level constructs (procedure-level …
proposed, which include a combination of language-level constructs (procedure-level …