English  |  正體中文  |  简体中文  |  Items with full text/Total items : 90452/105769 (86%)
Visitors : 11988565      Online Users : 821
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/4857

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

    Title: A VDM Approach to Continuation-Based Semantics of Prolog
    Authors: Timothy K. Shih;Huan-Chao Keh;Yule-Chyun Lin
    Date: 1999
    Issue Date: 2009-12-03 16:32:02 (UTC+8)
    Publisher: Asia University
    Abstract: VDM is short for Vienna Development Method which was developed in the early 1960's in the IBM Vienna Laboratory. VDM was used in language definition and compiler design. It was then extended to include aspects of large project designs. We use VDM as a semantic tool to discuss the continuation semantics of Prolog. A continuation represents the dynamic effect of the remainder of a program. Based on the semantic functions, a metalevel interpreter is constructed showing the result of our work.
    Relation: Journal of Computers and Artificial Intelligence 18(5):485-508
    Appears in Collections:[資訊工程學系] 期刊論文

    Files in This Item:

    File Description SizeFormat
    310904400-4857.doc83KbMicrosoft Word297View/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