Continuation Semantics of Logic Programs with Disciplined Exception Handling
學年 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 )

機構典藏連結