东思新闻网

您当前的位置 : 东思新闻网>文化>语义编程理论OESPA 助力计算机基础理论研究取得突破性成果
语义编程理论OESPA 助力计算机基础理论研究取得突破性成果
2019-11-15 08:06:40   阅读量:4218    作者:匿名
摘要:二十来年的努力终于取得突破性研究成果。已经退休的袁崇义长期从事计算机基础理论的教学和科研,不断思考传统语义学存在的问题。在北京大学任教期间,袁崇义一直从事petri网和形式语义方面的教学,同时做软件基

     

    计算机应用已经渗透到人类社会的每个角落。新软件必须通过测试才能投入使用。测试仍然是软件开发的重要一步。测试只能发现错误,不能判断是否有错。潜在的错误随时都会影响公共生活。

    几十年来,专家们一直在使用数学描述和逻辑推理来定义和证明程序的正确性,但迄今为止他们还没有成功。

    今年,科学出版社出版了北京大学袁崇义教授的英文专著《ospa:面向语义的编程理论》,提出了一套面向语义的编程理论ospa。二十年的努力终于取得了突破性的研究成果。

    退休的袁崇义长期从事计算机基础理论的教学和研究,不断思考传统语义学存在的问题。袁崇义在北京大学任教期间,在从事软件基础理论研究的同时,一直从事petri网和形式语义学的教学。

    oespa包括计算模型(编程语言)Oe、语义谓词sp和语义公理a。Oe是二合一的。定义oe的公式不仅是编译器所需的形式语法,也是定义语义公理的形式基础。

    Sp可以通过链接初始状态和最终状态来准确描述程序语义。Sp公式和从sp导出的sp演算用于程序的语义计算和语义合成,并可通过符号处理工具证明程序的正确性。一旦开发了相应的符号处理系统,测试就不再是编程的必要步骤。

    oespa的成功得益于建模方法臂,它适用于几乎所有需要构建正式模型的应用程序。实践证明,传统数学没有为程序语义的形式处理准备必要的工具。正是在arm的指导下,oespa取得了成功,填补了传统数学的空白。

    Oespa是目前唯一能够进行语义计算的编程理论。袁崇义说,“oespa目前还只是一个理论,需要各行各业的大力支持才能付诸实践。”袁崇义试图将sp和a用于c语言指针的语义处理,并成功地提出了指针语义公理,表明oespa可以用于传统语言程序的语义形式化处理。

    资料来源:新华社

    加拿大28 云南十一选五 快开彩票平台

      © Copyright 2018-2019 happy24hours.com 东思新闻网 Inc. All Rights Reserved.