English  |  正體中文  |  简体中文  |  Items with full text/Total items : 54367/62174 (87%)
Visitors : 9717000      Online Users : 155
RC Version 6.0 © Powered By DSPACE, MIT. Enhanced by NTHU 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
    National Tsing Hua University Institutional Repository > 歷任校長 > 李家同 (1993-1994) > 期刊論文  >  The Specialization of Programs by Theorem Proving


    Please use this identifier to cite or link to this item: http://nthur.lib.nthu.edu.tw/dspace/handle/987654321/80756


    Title: The Specialization of Programs by Theorem Proving
    Authors: Chang, C. L.;Lee, R. C. T.;Dixon, J. K.
    教師: 李家同
    Date: 1973
    Publisher: Society for Industrial and Applied Mathematics
    Relation: SIAM Journal on Computing, Society for Industrial and Applied Mathematics, Volume 2, Issue 1, 1973, Pages 7-15
    Keywords: axioms
    compilers
    describing formulas
    halting clauses
    programs
    resolution
    specializers
    theorem proving
    Abstract: Suppose a program P is written to accept a set of inputs I. If we are only interested in a nonempty subset $I^ * $ of I, we usually can simplify P to another program $P^ * $ such that $P^ * $ runs faster on $I^ * $ than P does. The problem of specialization is to find such $P^ * $. In this paper, the program P and the input $I^ * $ will be specified by axioms. Using these axioms, we can obtain $P^ * $ from P through theorem-proving techniques.
    Relation Link: http://www.siam.org/
    URI: http://nthur.lib.nthu.edu.tw/dspace/handle/987654321/80756
    Appears in Collections:[李家同 (1993-1994)] 期刊論文
    [資訊工程學系] 期刊論文

    Files in This Item:

    There are no files associated with this item.



    在NTHUR中所有的資料項目都受到原著作權保護,僅提供學術研究及教育使用,敬請尊重著作權人之權益。若須利用於商業或營利,請先取得著作權人授權。
    若發現本網站收錄之內容有侵害著作權人權益之情事,請權利人通知本網站管理者(smluo@lib.nthu.edu.tw),管理者將立即採取移除該內容等補救措施。

    SFX Query

    與系統管理員聯絡

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