4 citations · 4 across the 1 of their papers we have counts for
1 paper
Jörg Brauer, Andy King
Traditionally, transfer functions have been designed manually for each operation in a program, instruction by instruction. In such a setting, a transfer function describes the sema…