Tezimin bir parçası olarak yazdığım bir Haskell programının bölümlerine kanıt sağlamak istiyorum. Ancak şimdiye kadar iyi bir referans çalışması bulamadım.
Graham Hutton'un Haskell'i öğrenirken okuduğum Haskell'deki Programlama ( Google Kitaplar ) tanıtım kitabı gibi programlar hakkında muhakeme yapmak için birkaç tekniğe değiniyor
- eşit muhakeme
- çakışan olmayan desenler kullanma
- liste indüksiyonu
bölüm 13'te ama çok derinlemesine değil.
Haskell veya diğer fonksiyonel kodlar için resmi ispatlama tekniklerine daha ayrıntılı bir genel bakış sunan önerebileceğiniz herhangi bir kitap veya makale var mı?