English  |  正體中文  |  简体中文  |  Items with full text/Total items : 51896/87052 (60%)
Visitors : 8465460      Online Users : 197
RC Version 7.0 © Powered By DSPACE, MIT. Enhanced by NTU Library & TKU Library IR team.
Scope Tips:
  • please add "double quotation mark" for query phrases to get precise results
  • please goto advance search for comprehansive author search
  • Adv. Search
    HomeLoginUploadHelpAboutAdminister Goto mobile version
    Please use this identifier to cite or link to this item: http://tkuir.lib.tku.edu.tw:8080/dspace/handle/987654321/95755


    Title: Continuation Semantics of Logic Programs with Disciplined Exception Handling
    Authors: Shih, Timothy Kuo-Chen
    Contributors: 淡江大學資訊工程學系
    Keywords: 連續語意;邏輯程式;教訓例外處理;例外處理器;Continuation Semantic;Logic Program;Disciplined Exception Handling;Exception Handler
    Date: 1994-12
    Issue Date: 2014-02-13
    Abstract: 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.
    Relation: 1994 Internation Computer Symposium Conference Proceeding Volume of 1 of 2,頁571-576
    Appears in Collections:[資訊工程學系暨研究所] 會議論文

    Files in This Item:

    File SizeFormat
    Continuation Semantics of Logic Programs with Disciplined Exception Handling_英文摘要.docx18KbMicrosoft Word41View/Open

    All items in 機構典藏 are protected by copyright, with all rights reserved.


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