元谓词语义研究导向
摘要：元谓词语义的设计选择及比较：来自代表性的Prolog模块系统和Logtalk的观察。我们从实际角度讨论这些设计选择的后果，包括显式限定语义、计算反射支持、元谓词声明的表达能力、元谓词定义的安全性、元谓词定义的可移植性和元谓词性能。我们旨在提供有用的见解，以基于实际实现和常见使用模式进行关于元谓词语义和可移植性的辩论。
作者：Paulo Moura
论文ID：1009.3773
分类：Programming Languages
分类简称：cs.PL
提交时间：2010-09-21