activity
20102026
most citedReducing the Number of Annotations in a Verification-oriented Imperative Language

5 citations · 7 across the 7 of their papers we have counts for

collaborators
Showing 2023 · cs.PLShow all

1 paper · 2 filters

cs.PL2023★ 1 cited

Live Objects All The Way Down: Removing the Barriers between Applications and Virtual Machines

Javier E. Pimás, Stefan Marr, Diego Garbervetsky

Object-oriented languages often use virtual machines (VMs) that provide mechanisms such as just-in-time (JIT) compilation and garbage collection (GC). These VM components are typic…