English  |  正體中文  |  简体中文  |  Items with full text/Total items : 54367/62174 (87%)
Visitors : 15188088      Online Users : 90
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) > 期刊論文  >  An Improved Program-Synthesizing Algorithm and Its Correctness

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

    Title: An Improved Program-Synthesizing Algorithm and Its Correctness
    Authors: Lee, R. C. T.;Chang, C. L.;Waldinger, R. J.
    教師: 李家同
    Date: 1974
    Publisher: Association for Computing Machinery
    Relation: COMMUNICATIONS OF THE ACM, Association for Computing Machinery, Volume 17, Issue 4, 1974, Pages 211-217
    Keywords: Algorithm
    Abstract: An improved program-synthesizing algorithm based on the algorithm proposed by Waldinger and Lee in 1969 is given. In the old algorithm, the program-synthesizing problem is translated into a theorem-proving problem, and a program is obtained by analyzing a proof. For the improved algorithm, the analysis is not necessary, and a program is obtained as soon as the proof is completed. This is achieved by using a modified variable tracing mechanism invented by Green in 1969. The correctness of the improved algorithm is also proved; i.e. the program thus obtained always satisfies the specification.
    Relation Link: http://www.acm.org/
    URI: http://nthur.lib.nthu.edu.tw/dspace/handle/987654321/80760
    Appears in Collections:[李家同 (1993-1994)] 期刊論文
    [資訊工程學系] 期刊論文

    Files in This Item:

    File SizeFormat


    SFX Query


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