Compatibility of equalities based on operational semantics

October 29th, 2010 by Nils Anders Danielsson

Today we discussed the kind of issues one can run into when proving that a program equivalence, defined on top of an operational semantics, is a congruence.

3 Responses to “Compatibility of equalities based on operational semantics”

  1. Bob Harper Says:

    And what came of it?

  2. Neel Krishnaswami Says:

    I’ll second that question!

  3. Nils Anders Danielsson Says:

    I can only recall one “new” thing being mentioned: It is unclear if Howe’s method can be adapted (in a reasonably elegant way) to operational semantics defined using the partiality monad.

Leave a Reply