1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 学术论文
  5. 经济论文

Towards Correctness of Program Transformations Through Unification and Critical Pair Computation 英文论文文献.docVIP

  • 2
  • 0
  • 约4.46万字
  • 约 15页
  • 2017-05-08 发布于上海
  • 举报

Towards Correctness of Program Transformations Through Unification and Critical Pair Computation 英文论文文献.doc

    Towards Correctness of Program Transformations Through Unification and Critical Pair Computation 英文论文文献

    TowardsCorrectnessofProgramTransformationsThrough Uni?cationandCriticalPairComputation ConradRau?andManfredSchmidt-Schau? Institutf¨urInformatik Goethe-Universit¨at Postfach111932 D-60054Frankfurt,Germany {rau,schauss}@rmatik.uni-frankfurt.de Correctnessofprogramtransformationsinextendedlambdacalculiwithacontextualsemanticsis usuallybasedonreasoningabouttheoperationalsemanticswhichisarewritesemantics.Asuccess- fulapproachtoprovingcorrectnessisthecombinationofacontextlemmawiththecomputationof overlapsbetweenprogramtransformationsandthereductionrules,andthenofso-calledcomplete setsofdiagrams.T

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >