5 citations · 18 across the 5 of their papers we have counts for
1 paper · 1 filter
J. Strother Moore
When ACL2 is used to model the operational semantics of computing machines, machine states are typically represented by terms recording the contents of the state components. When m…