vix.ing · top · new · best · stats · spec

Furthering Baseline Core Lucid Standard Specification in the Context of the History of Lucid, Intensional Programming, and Context-Aware Computing

2011/07/05 by Joey Paquet, Paquet, Joey, Serguei A. Mokhov +1
Computer Science · #68N15 #68N18 #68N19 #68N20 #68Q55 #68T27 #68T30 #Advanced Malware Detection Techniques #Context-Aware Activity Recognition Systems #D.1.7 #D.2.11 #D.3.1 #D.3.2 #D.3.3 #D.3.4 #FOS: Computer and information sciences #IoT and Edge/Fog Computing #Programming Languages (cs.PL) #acm:68N15 #acm:68N18 #acm:68N19 #acm:68N20 #acm:68Q55 #acm:68T27 #acm:68T30 #cs.PL #msc:68N15 #msc:68N18 #msc:68N19 #msc:68N20 #msc:68Q55 #msc:68T27 #msc:68T30

paper · pdf · doi:10.48550/arxiv.1107.0940

46 pages, 3 figures, 1 table, 1 listing; a running draft and a collection of references on the subject; v4 primarily updates some references

openalex publication_date 2011/07/05 · arxiv created 2013/10/21 · arxiv updated 2013/10/22 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

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.

Related