A Primitive Calculus for Module Systems

A Primitive Calculus for Module Systems
复制标题

模块系统的原始微积分

DOI：
10.1007/10704567_4
复制
发表时间：
1999
期刊：
--
影响因子：
--
通讯作者：
E. Zucca
E. Zucca
中科院分区：
--
文献类型：
--
作者：
D. Ancona;E. Zucca

文献摘要

被引文献

相似文献

我们提出了一个简单而强大的演算模块支持相互递归和高阶功能。演算允许编码各种各样的现有机制，用于组合软件组件，包括参数化模块，扩展与覆盖面向对象编程，混入模块和语言外的机制，如链接器提供的。像往常一样，我们首先提出了一个非类型化版本的微积分，然后是一个类型系统，它被证明是健全的w.r.t.此外，我们还给出了其他原始演算的翻译。
We present a simple and powerful calculus of modules supporting mutual recursion and higher order features. The calculus allows to encode a large variety of existing mechanisms for combining software components, including parameterized modules, extension with overriding of object-oriented programming, mixin modules and extra-linguistic mechanisms like those provided by a linker. As usual, we first present an untyped version of our calculus and then a type system which is proved sound w.r.t. the reduction semantics; moreover we give a translation of other primitive calculi.