论文标题
正式化$φ$ -calculus：纯粹面向对象的对象的计算
Formalizing $φ$-calculus: a purely object-oriented calculus of decorated objects
论文作者
论文摘要
存在许多微积分用于建模面向对象的语言的各种特征。其中许多是基于$λ$ -Calculus，并专注于基于类的语言或基于动态原型的语言。我们正式化了由Bugayenko非正式提出的装饰物体的未型计算，该物体是根据对象定义的，并依赖于装饰作为对象扩展的主要机制。它不是基于$λ$ -calculus，但只有四个基本的句法结构同样完整。我们证明了演算是汇合的（即拥有教堂的财产），并引入了一个抽象的机器进行呼叫评估。最后，我们提供带有记录的$λ$ -calculus的声音翻译。
Many calculi exist for modelling various features of object-oriented languages. Many of them are based on $λ$-calculus and focus either on statically typed class-based languages or dynamic prototype-based languages. We formalize untyped calculus of decorated objects, informally presented by Bugayenko, which is defined in terms of objects and relies on decoration as a primary mechanism of object extension. It is not based on $λ$-calculus, yet with only four basic syntactic constructions is just as complete. We prove the calculus is confluent (i.e. possesses Church-Rosser property), and introduce an abstract machine for call-by-name evaluation. Finally, we provide a sound translation to $λ$-calculus with records.
