...
机译:高阶命令式语言的数据完善性
Program correctness; Programming calculi; Data refinement; Formal semantics; Predicate transformers;
机译:高阶命令式语言的数据完善性
机译:Pilsner:一种经过结构验证的高级命令式语言编译器
机译:Krivine机器的认证扩展,用于按名称呼叫高阶命令式语言
机译:ModuRes:有关并行高阶命令式编程语言的模块化推理的Coq库
机译:LAMBDA-NU-CS转换的计算:指令式高阶编程语言中控制和状态的句法理论。
机译:从不熟悉的语言的单词声音中猜测意义:跨文化声音象征主义研究
机译:高阶命令式语言的数据优化的健全性
机译:在命令式机器上实现数据流语言的错误值语义