分类:程序理论

来自术语
跳转至: 导航搜索
动作语义(02.0882) 动作表示法(02.0883)
代数格(02.0884) 代数语义(02.0885)
属性文法(02.0886) 公理语义(02.0887)
大步语义(02.0888) 范畴语义(02.0889)
闭表达式(02.0890) 组合代数(02.0891)
组合逻辑(02.0892) 构造算子(02.0893)
语境(02.0894) 延续(02.0895)
可判定性(02.0896) 指称语义(02.0897)
可区分的并(02.0898) 动态语义(02.0899)
论域(02.0900) 代数的完全偏序集(02.0901)
紧致元素(02.0902) 有向集(02.0903)
急切evaluation(02.0904) 等式类型构子(02.0905)
等式逻辑(02.0906) 不动点(02.0907)
平坦域(02.0908) 泛函(02.0909)
函子(02.0910) 混合语义(02.0911)
λ表示法(02.0912) 单子语义(02.0913)
单子(02.0914) 单子转换器(02.0915)
自然语义(02.0916) 操作语义(02.0917)
谓词转换语义(02.0918) 形式语义学(02.0919)
小步语义(02.0920) 静态语义(02.0921)
约束变量(02.0922) 按需调用(02.0923)
通信系统演算(02.0924) 通信顺序进程(02.0925)
完全格(02.0926) 完全偏序(02.0927)
可计算性(02.0928) 计算可行(02.0929)
域论(02.0930) λ抽象(02.0931)
let记号(02.0932) 记号(02.0933)
不动点归纳法(02.0934) 卫式命令(02.0935)
Hoare逻辑(02.0936) 包容谓词(02.0937)
命令式语言(02.0938) 不变式(02.0939)
惰性求值(02.0940) 惰性语言(02.0941)
模态逻辑(02.0942) 模型检查(02.0943)
命题(02.0944) 不确定性(02.0945)
谓词演算(02.0946) 命题演算(02.0947)
谓词转换器(02.0948) ML语言(02.0949)
标准ML语言(02.0950) 状态转换器(02.0951)
结构化操作语义(02.0952) 最弱前置条件(02.0953)
反射(02.0954) 命名空间(02.0955)
初始代数语义(02.0956) 终结代数语义(02.0957)
模块单子语义(02.0958) 类型代换(02.0959)
同余性(02.0960) 同余关系(02.0961)
演算(02.0962) 形式规约(02.0963)
语义规约(02.0964) 并发性(02.0965)
完备性(02.0966) Scott前域(02.0967)
类型系统(02.0968) 类型论(02.0969)
时段演算(02.0970) 时态逻辑(02.0971)
计算树逻辑(02.0972) 进程代数(02.0973)
程序正确性(02.0974) 完全正确性(02.0975)
部分正确性(02.0976) 正确性证明(02.0977)
终止性证明(02.0978) 抽象数据类型(02.0979)
基调(02.0980)


返回:首页

分类“程序理论”中的页面

以下95个页面属于本分类,共95个页面。