<= =>
Formas de Debugging
  • Listagem dos passos de redução Hat-stack
    • Alteração dos compiladores/interpretadores para mostrarem as reduções que efectuam.
    • Perda de generalidade com a dependência de compilador/interpretador.
    • Desmesuradamente grande para casos reais.
  • Algorítmica Budda e Hat-trail
    • O debugger questiona o utilizador (ou um oráculo) quanto à validade dos resultados obtidos, procurando identificar a porção de código errónea.
    • Totalmente dependente do caso de teste.
  • Por observação Hood
    • Com inserção explícita, no código, de pontos de observação.