1.2k citations · 3.5k across the 40 of their papers we have counts for
1 paper · 2 filters
Paola Giannini, Marco Servetto, Elena Zucca
Traditionally, semantic models of imperative languages use an auxiliary structure which mimics memory. In this way, ownership and other encapsulation properties need to be reconstr…