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

Download Now Free registration required

Executive Summary

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.

  • Format: PDF
  • Size: 936.27 KB