[PRL] [1206.5112] Lucretia - a type system for objects in languages with reflection

[Mitchell Wand]

Interesting abstract...

Lucretia - a type system for objects in languages with reflection
Viviana Bono <http://arxiv.org/find/cs/1/au:+Bono_V/0/1/0/all/0/1>, Marcin
Benke <http://arxiv.org/find/cs/1/au:+Benke_M/0/1/0/all/0/1>, Aleksy
Schubert <http://arxiv.org/find/cs/1/au:+Schubert_A/0/1/0/all/0/1>
(Submitted on 22 Jun 2012)

Object-oriented scripting languages such as JavaScript or Python gain in
popularity due to their flexibility. Still, the growing code bases written
in the languages call for methods that make possible to automatically
control the properties of the programs that ensure their stability in the
running time. We propose a type system, called Lucretia, that makes
possible to control the object structure of languages with reflection.
Subject reduction and soundness of the type system with respect to the
semantics of the language is proved.



http://arxiv.org/abs/1206.5112
-------------- next part --------------
HTML attachment scrubbed and removed