benton_relational_2004:
  type: article
  title: Simple relational correctness proofs for static analyses and program transformations
  author: Benton, Nick
  date: 2004
  note: Coined the term Relational Hoare Logic, and applied it to compiler correctness.
  parent:
    type: proceedings
    title: Proceedings of the 31st {ACM} {SIGPLAN}-{SIGACT} {Symposium} on {Principles} of {Programming} {Languages} ({POPL})