मैं एक हास्केल कार्यक्रम के कुछ हिस्सों के लिए प्रमाण प्रदान करना चाहता हूं जो मैं अपनी थीसिस के हिस्से के रूप में लिख रहा हूं। अब तक, मैं एक अच्छा संदर्भ कार्य खोजने में विफल रहा।
हास्केल ( Google पुस्तकें ) में ग्राहम हटन की परिचयात्मक पुस्तक प्रोग्रामिंग - जो मैंने हास्केल सीखते समय पढ़ी थी - जैसे कार्यक्रमों के बारे में तर्क करने के लिए कुछ तकनीकों पर स्पर्श करता है
- समतुल्य तर्क
- गैर-अतिव्यापी पैटर्न का उपयोग करना
- सूची प्रेरण
अध्याय 13 में लेकिन यह बहुत गहराई में नहीं है।
क्या कोई ऐसी पुस्तक या लेख है जिसकी आप अनुशंसा कर सकते हैं जो हास्केल, या अन्य कार्यात्मक, कोड के लिए औपचारिक साबित तकनीकों का अधिक विस्तृत अवलोकन प्रदान करता है?