C
omputer
S
cience/
P
rogramming
L
anguages/
M
isc
2020
Inline Caching and Unboxing Optimization for Interpreters
by
Martin Desharnais
Dec 07
2015
Generating Cases from Labeled Subgoals
by
Lars Noschinski
Jul 21
2014
Pop-Refinement
by
Alessandro Coglio
Jul 03
2005
Jive Data and Store Model
by
Nicole Rauch
and
Norbert Schirmer
Jun 20