Utrecht University, The Netherlands;
机译:所有权限制可确保面向对象程序的表示独立性
机译:自动分析无类型指针指针别名无类型程序
机译:面向对象和机器人编程活动的比较:编程方式对学生成就,抽象,解决问题和动机的影响
机译:在Ecoop 2008的Workshop Iwago'08的面向对象编程报告中的混叠,禁闭和所有权
机译:静态分析,用于从具有所有权域批注的面向对象的程序中提取数据流边缘。
机译:强制性和面向对象的分布式程序的频繁声明和取消引用消除
机译:面向对象编程中的别名,限制和所有权
机译:检查程序员指定的非别名