English  |  正體中文  |  简体中文  |  全文筆數/總筆數 : 50122/85141 (59%)
造訪人次 : 7886383      線上人數 : 44
RC Version 7.0 © Powered By DSPACE, MIT. Enhanced by NTU Library & TKU Library IR team.
搜尋範圍 查詢小技巧:
  • 您可在西文檢索詞彙前後加上"雙引號",以獲取較精準的檢索結果
  • 若欲以作者姓名搜尋,建議至進階搜尋限定作者欄位,可獲得較完整資料
  • 進階搜尋
    請使用永久網址來引用或連結此文件: http://tkuir.lib.tku.edu.tw:8080/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 Word40檢視/開啟



    DSpace Software Copyright © 2002-2004  MIT &  Hewlett-Packard  /   Enhanced by   NTU Library & TKU Library IR teams. Copyright ©   - 回饋