通过层次图重写实现求值策略
计算机科学中的逻辑
2010-09-21 v1 编程语言
摘要
我们讨论了在将并发约束函数式语言CCFL编译为层次图重写语言LMNtal的翻译模式中，如何实现求值策略。LMNtal支持表达局部计算以及描述进程和规则在局部计算空间之间的迁移，这使得典型求值策略的编码变得清晰而简单。
引用
@article{arxiv.1009.3770,
title = {Realizing evaluation strategies by hierarchical graph rewriting},
author = {Petra Hofstedt},
journal= {arXiv preprint arXiv:1009.3770},
year = {2010}
}
备注
Online proceedings of the Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments (CICLOPS-WLPE 2010), Edinburgh, Scotland, U.K., July 15, 2010