30 citations · 87 across the 9 of their papers we have counts for
1 paper · 1 filter
Robbert Krebbers
The core of a formal semantics of an imperative programming language is a memory model that describes the behavior of operations on the memory. Defining a memory model that matches…