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

@article{Mokhov2010UsingTG,
  title={Using the General Intensional Programming System (GIPSY) for Evaluation of Higher-Order Intensional Logic (HOIL) Expressions},
  author={Serguei A. Mokhov and Joey Paquet},
  journal={2010 Eighth ACIS International Conference on Software Engineering Research, Management and Applications},
  year={2010},
  pages={101-109}
}
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… CONTINUE READING
Highly Cited
This paper has 20 citations. REVIEW CITATIONS
14 Citations
53 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 14 extracted citations

Similar Papers

Loading similar papers…