English  |  正體中文  |  简体中文  |  Items with full text/Total items : 90120/105277 (86%)
Visitors : 8144020      Online Users : 1822
RC Version 6.0 © Powered By DSPACE, MIT. Enhanced by NTU 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
    ASIA unversity > 資訊學院 > 資訊工程學系 > 期刊論文 >  Item 310904400/4881

    Please use this identifier to cite or link to this item: http://asiair.asia.edu.tw/ir/handle/310904400/4881

    Title: An Operational Semantics Approach to Disciplined Exceptions in Logic Programming
    Authors: Timothy K. Shih;Fuyau Lin
    Date: 1995-01
    Issue Date: 2009-12-03 16:32:09 (UTC+8)
    Publisher: Asia University
    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. Short examples illustrate the difficulty of recovering from error conditions in logic programs using traditional control constructs, and show how easily they can be handled using our approach. 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: Computers and Artificial Intelligence 14(1):1-33
    Appears in Collections:[資訊工程學系] 期刊論文

    Files in This Item:

    File Description SizeFormat
    310904400-4881.doc113KbMicrosoft Word317View/Open

    All items in ASIAIR are protected by copyright, with all rights reserved.

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