保留分层和安全性的语言嵌入
摘要：编程语言的嵌入可以保持在编译时进行的归约操作，即分阶段。我们研究将编程语言嵌入到其他语言中的嵌入，以保持分阶段。一定条件——我们称之为“Turing完全核心”——足以使一种语言在嵌入另一种语言时保持分阶段。类似的推理方式得到了保证安全性的嵌入概念，并对保证安全性的普遍性提供了有用的表征。在分阶段和安全性方面具有普遍性的语言是实现特定领域内嵌语言（DSELs）和提供特定领域优化和安全性检查的“活动库”的良好选择。
作者：Todd L. Veldhuizen
论文ID：cs/0509057
分类：Programming Languages
分类简称：cs.PL
提交时间：2007-05-23