terminability

[ˌtɜ:mɪnə'bɪlətɪ][ˌtɜ:mɪnə'bɪlɪtɪ]

n.有期限,可终止

  • Use operational semantics as tools to proof definiteness and terminability of SPL expressions so security of SPL is guaranteed .

    本文以操作语义为分析工具,证明了SPL 策略 语言表达式的确定性和 终止 ,从而 间接证明了SPL语言的安全 是有保障的。

  • A New Algorith and Quadratic Terminability for Linearly Constrained Optimization

    一个线性约束问题的算法及二次 终止