25 citations · 33 across the 6 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.PL2012
Lucretia - a type system for objects in languages with reflection
Viviana Bono, Marcin Benke, Aleksy Schubert
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 method…
cs.PL2012★ 25 cited
Typing Copyless Message Passing
Viviana Bono, Luca Padovani
We present a calculus that models a form of process interaction based on copyless message passing, in the style of Singularity OS. The calculus is equipped with a type system ensur…