| 題名: | 可復原式程式的邏輯 |
| 其他題名: | The Logic of Undoable Programs |
| 作者: | 陳正佳 |
| 關鍵字: | 命題式動態邏輯 可復原式程式 推論系統 可適性問題 EXPTIME-complete |
| 期刊名/會議名稱: | 1997 NCS會議 |
| 摘要: | 本文主要是在發展可用於推論可復原式程式行為的動態邏輯系統．傳統命題式動態邏輯的語意架構並無法定義可復原式程式的語意，在本文中我們擴展了其語意架構使其足以定義可復原式程式的語意．此外，我們為可復原式程式發展了二套推論系統，證明其正確性與完備性．最後我們還證明兩系統下的可適性問題均屬EXPTIME-complete． |
| 日期: | 2006-10-25T02:51:54Z |
| 分類: | 1997年 NCS 全國計算機會議 |
文件中的檔案：
| 檔案 | 描述 | 大小 | 格式 | |
|---|---|---|---|---|
| ce07ncs0019970000019.pdf | 570.64 kB | Adobe PDF | 檢視/開啟 |
在 DSpace 系統中的文件，除了特別指名其著作權條款之外，均受到著作權保護，並且保留所有的權利。