抽象域相关论文
本文通过对介词进行分析，探讨多义现象的认知理据意象图式的认知机制，分析了中心图式与变体图式对空间域多义的影响以及意象图式的隐......
构造不变式是程序验证的重要组成部分,而开源工具Interproc能对简单的程序设计语言构造线性不变式。基于Interproc和C程序编译工具......
抽象解释为程序不变式的自动化生成提供了通用的框架,但是该框架下的大多数已有数值抽象域只能表达几何上是凸的约束集.因此,对于......
作为近世代数学的一个分支，有限域是一个拥有传统算术四则运算的抽象代数系统，它满足结合律、交换律、分配律、消去律等运算法则。这......
凯莱把超复数视为矩阵的思想在19世纪末至20世纪初得到发展，积分方程的发展以及近代物理的需要使数学家们开始了对无限矩阵理论、元......
软件代码中的缺陷是导致软件故障和漏洞问题的主要原因。基于缺陷的软件测试技术可以分为动态检测技术和静态检测技术。静态检测技......
为权衡对矩阵运算静态分析的精度和效率，针对程序中表示矩阵的变量，提出一种基于抽象解释的抽象与分析算法，即区间向量抽象域。将矩阵......
通过对"揪小辫"、"穿小鞋"、"打小报告"、"开小会"等短语中"小"的用法做深入探讨,从语形、语义、语用和认知四个角度分析"小"的特......
随着计算机科学的快速发展和计算机技术广泛应用,计算机软件能否正确运行,成为人们关注的焦点。特别是在一些重要的应用领域,对程......
抽象解释为程序不变式的自动化生成提供了通用的框架。但是,该框架下的大多数已有数值抽象域只能表达几何上是凸的约束集。因而,对......
以“意象图式”为支点，从认知语言学的角度，可以分析介词的“基本意象图示”以及语义延伸的心理认知过程和意义结构。通过应用意象图......
