通过优雅的对象表示在子类中检测不合理的假设
摘要：优雅对象（EO）是一种基于纯对象和装饰器模式的编程语言。Bugayenko建议它作为面向对象程序的中间表示。本文介绍了EO中建模的动态分派版本，并阐述了装饰器对象中的无理假设问题，该问题与子类中的类似问题相似。然后，我们介绍了一种通过方法内联和有限属性推断来检测EO程序中此类问题的方法。最后，我们讨论了在Scala编程语言中原型实现此方法的情况。
作者：Vitaliy Korbashov, Nikolai Kudasov, Mikhail Olokin, Violetta Sim
论文ID：2209.01825
分类：Programming Languages
分类简称：cs.PL
提交时间：2022-10-17