Homer: A Higher−order Observational equivalence Model checkER

Míreanna comhchosúla

• Hector: An Equivalence Checker for a Higher−Order Fragment of ML
  de réir: Hopkins, D, et al.
  Foilsithe / Cruthaithe: (2012)
• Game semantics based equivalence checking of higher-order programs
  de réir: Hopkins, D, et al.
  Foilsithe / Cruthaithe: (2012)
• Game Semantics Based Equivalence Checking of Higher−Order Programs
  de réir: Hopkins, D
  Foilsithe / Cruthaithe: (2012)
• A type system equivalent to the modal Mu-calculus model checking of higher-order recursion schemes
  de réir: Kobayashi, N, et al.
  Foilsithe / Cruthaithe: (2009)
• Higher−Order Model Checking of Liveness Properties
  de réir: Neatherway, R, et al.
  Foilsithe / Cruthaithe: (2013)