Using the General Intensional Programming System (GIPSY) for Evaluation of Higher-Order Intensional Logic (HOIL) Expressions

Abstract

The General Intensional Programming System (GIPSY) has been built around the Lucid family of intensional programming languages that rely on the higher-order intensional logic (HOIL) to provide context-oriented multidimensional reasoning of intensional expressions. HOIL combines functional programming with various intensional logics to allow explicit context expressions to be evaluated as first-class values that can be passed as parameters to functions and return as results with an appropriate set of operators defined on contexts. GIPSY's frameworks are implemented in Java as a collection of replaceable components for the compilers of various Lucid dialects and the demand-driven eductive evaluation engine that can run distributively. GIPSY provides support for hybrid programming models that couple intensional and imperative languages for a variety of needs. Explicit context expressions limit the scope of evaluation of math expressions (effectively a Lucid program is a mathematics or physics expression constrained by the context) in tensor physics, regular math in multiple dimensions, etc., and for cyberforensic reasoning as one of the use-cases of interest. Thus, GIPSY is a support testbed for HOIL-based languages some of which enable such reasoning, as in formal cyberforensic case analysis with event reconstruction. In this paper we discuss the GIPSY architecture, its evaluation engine and example use-cases.

Towards a self-forensics property in the ASSL toolset

“…Forensic Lucid's primary experimental platform for compilation (Forensic Lucid compiler is a member of the General Intensional Programming Compiler (GIPC) framework) and evaluation is the General Intensional Programming System (GIPSY) [24,4,15]. GIPSY's run-time system, the General Eduction Engine (GEE), is designed to be flexible to allow various modes of execution, including the planned used of the evaluation by the PRISM- [29] and AspectJ-based [2] backends as illustrated in Figure 2 …”

Self-Forensics Through Case Studies of Small-to-Medium Software Systems

“…Specifically, our priority is to implement the notion of self-forensics in the GIPSY [70], [32], [34], [71] and DMARF [61], [72], [73], [74] systems. Then, we plan to gather performance and storage overhead statistics when the self-forensics modules are turned on.…”

A Type System for Higher-Order Intensional Logic Support for Variable Bindings in Hybrid Intensional-Imperative Programs in GIPSY

“…The General Intensional Programming System (GIPSY) [2], [3], [4], [5], [6], [7], [8], [9], [10], [11] is an ongoing effort for the development of a flexible and adaptable multi-lingual programming language development framework aimed at the investigation on the Lucid family of intensional programming languages [12], [13], [14], [15], [16], [17], [18], [19]. Using this platform, programs written in many flavors of Lucid can be compiled and executed in a variety of ways [1], [11], [20].…”

“…Using this platform, programs written in many flavors of Lucid can be compiled and executed in a variety of ways [1], [11], [20]. By being multilingual, GIPSY's design incorporates the flexible compilers framework and run-time system to allow processing of programs written in multiple dialects of Lucid as well as mixing them with common imperative languages, such as Java, potentially all in the same "program" or a source code file comprising a semantic unit of interrelated program fragments written in multiple languages and invoking each other.…”

“…The type system is also required to extend the higher-order intensional logic (HOIL) [11] support onto the imperative dialect in the hybrid intensional-imperative programs. This in particular includes the notion of context added to the imperative programs as well as dynamic variables binding and assignment upon intensional type discovery when done evaluating intensional expressions and, for, example assigning their result to a variable, e.g.…”