论文标题
通过优雅对象表示，检测子类中的不合理的假设
Detecting Unjustified Assumptions in Subclasses via Elegant Objects Representation
论文作者
论文摘要
优雅对象（EO）是一种基于纯对象和装饰图案的思想的编程语言。 Bugayenko建议它是面向对象程序的中间表示。本文介绍了以EO建模的动态调度版本，并提出了装饰物对象中不合理假设的问题，该假设与子类中的类似问题相似。然后，我们引入了一种通过方法内部和有限的属性推断来检测EO程序中此类问题的方法。最后，我们在Scala编程语言中讨论了这种方法的原型实现。
Elegant Objects (EO) is a programming language based on ideas of pure objects and the Decorator pattern. Bugayenko has suggested it as an intermediate representation for object-oriented programs. This paper presents a version of dynamic dispatch modelled in EO and formulates a problem of unjustified assumptions in decorator objects, which parallels similar problem in subclasses. Then, we introduce an approach to detect such problems in EO programs via method inlining and limited property inference. Finally, we discuss prototype implementation of this approach in Scala programming language.
