技術筆記—零七之二
By Mountain • Jul 16th, 2007 • Category: 技術話題這周在繼續翻譯《Haskell史傳》，但進展比較慢。TAOCP習題第7題遇到困難，但現在已經可以把問題嚴格表述出來。我有一個猜想，對扇面數為3的情形我們無法給予編碼，但還未能證明。容日后慢慢考慮。
翻譯的過程中，讀到Haskell的程序推理（program reasoning）技術，搜到幾篇論文簡記於下：
- Fast and Loose Reasoning is Morally Correct - Danielsson, Hughes, Jansson, Gibbons (ResearchIndex)
- Chasing Bottoms - A Case Study in Program Verification in the Presence of Partial and Infinite Values - Danielsson, Jansson (ResearchIndex)
- Verifying Haskell Programs Using Constructive Type Theory (application/pdf Object)
Mountain is
Email this author | All posts by Mountain