在Lucid、Intensional Programming和上下文感知计算的历史背景下推进基线核心Lucid标准规范
Furthering Baseline Core Lucid Standard Specification in the Context of the History of Lucid, Intensional Programming, and Context-Aware Computing
摘要：
这项工作是多方面的。本文回顾了Lucid程序设计语言的历史文献、它的方言、内涵逻辑、内涵编程、实现系统、面向上下文和上下文感知计算等，为融合的Core Lucid标准编程模型提供了一个上下文框架。我们正在设计一个标准规范的基线Lucid虚拟机的一般执行的Lucid程序。由此产生的Core Lucid语言将继承GIPL（1999-2013）和TransLucid（2008-2013）的泛化尝试的属性，以便所有未来和最近的Lucid实现系统遵循。我们还在当地研究小组中开展这项工作，以促进更深入的合作，为学生提供最近和历史书目清单以及参考手册和阅读清单。我们成立了一个（目前是非正式的）SIGLUCID小组来跟踪这个标准和历史记录，最终的长期目标是通过迭代修订，使这项工作成为一本书或参考主题的百科全书，也许是RFC。我们先从这一组音符开始。
英文摘要：
This work is multifold. We review the historical literature on the Lucid programming language, its dialects, intensional logic, intensional programming, the implementing systems, and context-oriented and context-aware computing and so on that provide a contextual framework for the converging Core Lucid standard programming model. We are designing a standard specification of a baseline Lucid virtual machine for generic execution of Lucid programs. The resulting Core Lucid language would inherit the properties of generalization attempts of GIPL (1999-2013) and TransLucid (2008-2013) for all future and recent Lucid implementing systems to follow. We also maintain this work across local research group in order to foster deeper collaboration, maintain a list of recent and historical bibliography and a reference manual and reading list for students. We form a (for now informal) SIGLUCID group to keep track of this standard and historical records with eventual long-term goal through iterative revisions for this work to become a book or an encyclopedia of the referenced topics, and perhaps, an RFC. We first begin small with this initial set of notes.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
