退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:Steelcore:有效的依赖性键入程序的可扩展并发分离逻辑
Nikhil Swamy; Aseem Rastogi; Aymeric Fromherz; Denis Merigoux; Danel Ahman; Guido Martínez;
机译:按构造更正并发性:使用依赖类型来验证有效资源使用协议的实现
机译:等效程序的定量逻辑
机译:轻松分离逻辑:C11并发的程序逻辑
机译:直觉祖先逻辑作为依存类型抽象编程语言
机译:并发和非并发逻辑程序的高级Petri网语义。
机译:在并发分离逻辑中推理权限区域
机译:一种实现依赖类型逻辑的元编程方法 程序设计
机译:依赖于特定于域的逻辑的类型化编程
机译:用于定义可自由编程的顺序逻辑系统的依赖于应用程序的逻辑的过程,用于实现该过程的设备以及用于通过使用由此定义的程序来操作控制系统的设备
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。