基于 Prolog 的编程语言推理环境（扩展摘要）
编程语言
2007-11-06 v1 软件工程
摘要
ECLAIR 是一个基于 Prolog 的原型系统，旨在提供一个功能完整的环境，用于研究、开发和评估编程语言分析及实现工具。在本文中，我们勾勒出该系统的总体结构，概述了其组件背后的主要方法论和技术。我们还讨论了将 Prolog 作为系统实现语言的适宜性：除了强调其优势外，我们也指出了一些潜在的弱点，并暗示了可能的解决方案。
引用
@article{arxiv.0711.0345,
title = {A Prolog-based Environment for Reasoning about Programming Languages (Extended abstract)},
author = {Roberto Bagnara and Patricia Hill and Enea Zaffanella},
journal= {arXiv preprint arXiv:0711.0345},
year = {2007}
}
评论
Paper presented at the 17th Workshop on Logic-based Methods in Programming Environments (WLPE2007)