17 citations · 19 across the 6 of their papers we have counts for
1 paper · 2 filters
Ramana Nagasamudram, David A. Naumann
Relational Hoare logics (RHL) provide rules for reasoning about relations between programs. Several RHLs include a rule we call sequential product that infers a relational correctn…