论文标题
以核心面向对象的语言的记忆和方法安全性的行为类型
Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language
论文作者
论文摘要
我们提供基于类型的分析，以确保在类似Java的语言Mungo中完成内存安全性和对象协议的完成。用法注释对象，胶结序列的方法调用序列的类似于类似的规格。该分析将用法检查纠缠，控制调用方法的顺序，并通过静态检查确定参考是否可能包含零值。该分析可防止零指针删除和内存泄漏，并确保尊重和完成每个对象的预期用法协议。类型系统已以类型检查器的形式实现。
We present a type-based analysis ensuring memory safety and object protocol completion in the Java-like language Mungo. Objects are annotated with usages, typestates-like specifications of the admissible sequences of method calls. The analysis entwines usage checking, controlling the order in which methods are called, with a static check determining whether references may contain null values. The analysis prevents null pointer dereferencing and memory leaks and ensures that the intended usage protocol of every object is respected and completed. The type system has been implemented in the form of a type checker.
