在Lucid语言历史、内涵式编程与上下文感知计算的背景下推进基线核心Lucid标准规范
编程语言
2013-10-22 v4
摘要
这项工作是多方面的。我们回顾了关于Lucid编程语言、其方言、内涵逻辑、内涵式编程、实现系统以及面向上下文和上下文感知计算等方面的历史文献，这些文献为汇聚的核心Lucid标准编程模型提供了上下文框架。我们正在设计一个基线Lucid虚拟机的标准规范，用于通用执行Lucid程序。由此产生的核心Lucid语言将继承GIPL(1999-2013)和TransLucid(2008-2013)的泛化尝试的属性，供所有未来和最近的Lucid实现系统遵循。我们还在本地研究小组内维护这项工作，以促进更深入的合作，维护近期和历史的参考文献列表，以及供学生使用的参考手册和阅读清单。我们成立了一个(目前是非正式的)SIGLUCID小组来跟踪这一标准和历史记录，其长期目标是通过迭代修订使这项工作成为一本关于相关主题的书籍或百科全书，甚至可能成为一份RFC。我们首先从这组初步笔记开始。
引用
@article{arxiv.1107.0940,
title = {Furthering Baseline Core Lucid Standard Specification in the Context of the History of Lucid, Intensional Programming, and Context-Aware Computing},
author = {Joey Paquet and Serguei A. Mokhov},
journal= {arXiv preprint arXiv:1107.0940},
year = {2013}
}
备注
46 pages, 3 figures, 1 table, 1 listing; a running draft and a collection of references on the subject; v4 primarily updates some references