淡江大學機構典藏:Item 987654321/95755

淡江大學機構典藏

Menu Search
查詢小技巧：
  • 您可在西文檢索詞彙前後加上"雙引號"，以獲取較精準的檢索結果
  • 若欲以作者姓名搜尋，建議至進階搜尋限定作者欄位，可獲得較完整資料
    •  進階搜尋


    請使用永久網址來引用或連結此文件: https://tkuir.lib.tku.edu.tw/dspace/handle/987654321/95755


    題名: Continuation Semantics of Logic Programs with Disciplined Exception Handling
    作者: Shih, Timothy Kuo-Chen
    貢獻者: 淡江大學資訊工程學系
    關鍵詞: 連續語意;邏輯程式;教訓例外處理;例外處理器;Continuation Semantic;Logic Program;Disciplined Exception Handling;Exception Handler
    日期: 1994-12
    上傳時間: 2014-02-13
    摘要: 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.
    關聯: 1994 Internation Computer Symposium Conference Proceeding Volume of 1 of 2，頁571-576
    顯示於類別:[資訊工程學系暨研究所] 會議論文

    文件中的檔案:

    檔案 大小格式瀏覽次數
    Continuation Semantics of Logic Programs with Disciplined Exception Handling_英文摘要.docx18KbMicrosoft Word94檢視/開啟

    在機構典藏中所有的資料項目都受到原著作權保護.

    TAIR相關文章
    DSpace Software Copyright © 2002-2004  MIT &  HP  /   Enhanced by   NTU Library IR team Copyright ©   - 回饋