稳定语义相关论文
该文旨在建立Dijkstra谓词转换器的稳定语义。一个基本慨念一Stable空间被引入,建立stable空间的超空间,表明Dijsktra谓词转换器可由......
该文研究析取程序语义,诱导推理与常识推理的有关问题.为此,作者提出了诱导推理的三种实现框架:双析取诱导语义(BDAS),典型诱导语......