Game Semantics Based Equivalence Checking of Higher−Order Programs

Những quyển sách tương tự

• Game semantics based equivalence checking of higher-order programs
  Bằng: Hopkins, D, et al.
  Được phát hành: (2012)
• Homer: A Higher−order Observational equivalence Model checkER
  Bằng: Hopkins, D, et al.
  Được phát hành: (2009)
• Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs
  Bằng: Angelos Charalambidis, et al.
  Được phát hành: (2015-09-01)
• Hector: An Equivalence Checker for a Higher−Order Fragment of ML
  Bằng: Hopkins, D, et al.
  Được phát hành: (2012)
• Model checking liveness properties of higher-order functional programs
  Bằng: Lester, MM, et al.
  Được phát hành: (2011)