National Tsing Hua University Institutional Repository:The Specialization of Programs by Theorem Proving
English  |  正體中文  |  简体中文  |  全文筆數/總筆數 : 54367/62174 (87%)
造訪人次 : 13405085      線上人數 : 276
RC Version 6.0 © Powered By DSPACE, MIT. Enhanced by NTHU Library IR team.
搜尋範圍 查詢小技巧:
  • 您可在西文檢索詞彙前後加上"雙引號",以獲取較精準的檢索結果
  • 若欲以作者姓名搜尋,建議至進階搜尋限定作者欄位,可獲得較完整資料
  • 進階搜尋
    National Tsing Hua University Institutional Repository > 歷任校長 > 李家同 (1993-1994) > 期刊論文  >  The Specialization of Programs by Theorem Proving


    請使用永久網址來引用或連結此文件: http://nthur.lib.nthu.edu.tw/dspace/handle/987654321/80756


    題名: The Specialization of Programs by Theorem Proving
    作者: Chang, C. L.;Lee, R. C. T.;Dixon, J. K.
    教師: 李家同
    日期: 1973
    出版者: Society for Industrial and Applied Mathematics
    關聯: SIAM Journal on Computing, Society for Industrial and Applied Mathematics, Volume 2, Issue 1, 1973, Pages 7-15
    關鍵詞: axioms
    compilers
    describing formulas
    halting clauses
    programs
    resolution
    specializers
    theorem proving
    摘要: 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.
    相關連結: http://www.siam.org/
    URI: http://nthur.lib.nthu.edu.tw/dspace/handle/987654321/80756
    顯示於類別:[李家同 (1993-1994)] 期刊論文
    [資訊工程學系] 期刊論文

    文件中的檔案:

    沒有與此文件相關的檔案.



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

    SFX Query

    與系統管理員聯絡

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