71 citations · 448 across the 43 of their papers we have counts for
Showing 2018 · cs.SEShow all
2 papers · 2 filters
cs.SE2018★ 2 cited
AutoFrame: Automatic Frame Inference for Object-Oriented Languages
Victor Rivera, Bertrand Meyer
Automatic program verification has made tremendous strides, but is not yet for the masses. How do we make it less painful? This article addresses one of the obstacles: the need to…
cs.SE2018
AutoAlias: Automatic Variable-Precision Alias Analysis for Object-Oriented Programs
Victor Rivera, Bertrand Meyer
The aliasing question (can two reference expressions point, during an execution, to the same object?) is both one of the most critical in practice, for applications ranging from co…