會議論文
| 學年 | 83 |
|---|---|
| 學期 | 1 |
| 發表日期 | 1994-12-12 |
| 作品名稱 | Continuation Semantics of Logic Programs with Disciplined Exception Handling |
| 作品名稱（其他語言） | |
| 著者 | Shih, Timothy Kuo-Chen |
| 作品所屬單位 | 淡江大學資訊工程學系 |
| 出版者 | |
| 會議名稱 | 1994 International Computer Symposium Conference |
| 會議地點 | 新北市, 臺灣 |
| 摘要 | This paper presents a disciplined exception mechanism based on continuations. Continuations provide mechanisms for labels and jumps. We present a mechanism to preserve a Prolog program continuation to be invoked at a later point. This mechanism is used in the design of exception signals, handlers, and exception continuations for logic programs. An exception continuation specifies how a computation should continue (e.g. resume, undo, alternate, or terminate) after an exception is raised. The Z notation is used to specify the continuation semantics of logic programs with exceptions. Based on the semantic functions, an interpreter written in Prolog is derived to justify our approach. |
| 關鍵字 | 連續語意;邏輯程式;教訓例外處理;例外處理器;Continuation Semantic;Logic Program;Disciplined Exception Handling;Exception Handler |
| 語言 | en |
| 收錄於 | |
| 會議性質 | 國際 |
| 校內研討會地點 | |
| 研討會時間 | 19941212~19941215 |
| 通訊作者 | |
| 國別 | TWN |
| 公開徵稿 | Y |
| 出版型式 | 紙本 |
| 出處 | 1994 Internation Computer Symposium Conference Proceeding Volume of 1 of 2，頁571-576 |
| 相關連結 |
機構典藏連結 ( http://tkuir.lib.tku.edu.tw:8080/dspace/handle/987654321/95755 ) |