Complete Context Calculus Design and Implementation in GIPSY

Abstract

This paper presents the integration into the GIPSY of Lucx's context calculus defined in Wan's PhD thesis. We start by defining different types of tag sets, then we explain the concept of context, the types of context and the context calculus operators. Finally, we present how context entities have been abstracted into Java classes and embedded into the GIPSY system.

21 page; 18 listings; 2 figures; a complete version of the referenced simple context calculus implementation

References in corpus (1)

• Towards Hybrid Intensional Programming with JLucid, Objective Lucid, and General Imperative Compiler Framework in the GIPSY

Cited by in corpus (12)

• Advances in the Design and Implementation of a Multi-Tier Architecture in the GIPSY Environment
• Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle
• Object-Oriented Intensional Programming: Intensional Classes Using Java and Lucid
• Reasoning About a Simulated Printer Case Investigation with Forensic Lucid
• Intensional Cyberforensics
• Using the General Intensional Programming System (GIPSY) for Evaluation of Higher-Order Intensional Logic (HOIL) Expressions
• Towards Improving Validation, Verification, Crash Investigations, and Event Reconstruction of Flight-Critical Systems with Self-Forensics
• Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid
• The Role of Self-Forensics in Vehicle Crash Investigations and Event Reconstruction
• Furthering Baseline Core Lucid Standard Specification in the Context of the History of Lucid, Intensional Programming, and Context-Aware Computing
• A Case Study on Quality Attribute Measurement using MARF and GIPSY
• A Type System Theory for Higher-Order Intensional Logic Support for Variable Bindings in Hybrid Intensional-Imperative Programs in GIPSY