Department of Computer Science, Durham University, UK;
Department of Computer Science, Durham University, UK;
Department of Computer Science, National University of Singapore, Singapore;
机译:基于动态内存隔离的形式化证明
机译:用于GPU编程语言的基于区域的内存管理,可在Spartan主机上启用丰富的数据结构
机译:Mercury程序的基于区域的内存管理
机译:面向对象范式的基于区域的内存管理的正式声音证明
机译:基于区域的内存管理,用于富有表现力的GPU编程。
机译:基于形式面向对象和面向属性的概念格的形式决策上下文中的规则获取
机译:面向对象范例的基于区域的内存管理的形式化证明。
机译:面向对象的需求分析范式的形式化定义