构建计算环境的访问指针
计算机科学中的逻辑
2007-05-23 v1 编程语言
摘要
概述了一种结合范畴与计算风格的通用对象技术。通过在托管计算环境中嵌入（即域范围结构）来评估对象。嵌入对象通过由托管系统生成的指针进行访问。为便于提取评估结果，生成预嵌入对象。观察到该对象可分解为替换部分和访问函数部分，这些部分在对象评估期间生成。
引用
@article{arxiv.cs/0106018,
title = {Building the access pointers to a computation environment},
author = {Viacheslav Wolfengagen},
journal= {arXiv preprint arXiv:cs/0106018},
year = {2007}
}