25 citations · 45 across the 6 of their papers we have counts for
1 paper · 2 filters
Martin Bodin, Thomas Jensen, Alan Schmitt
We present a technique for deriving semantic program analyses from a natural semantics specification of the programming language. The technique is based on a particular kind of sem…