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

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.

[1]  W. W. Wadge,et al.  Vmake and Ise : General Tools for the Intensionalization of Software Systems , 2012 .

[2]  Serguei A. Mokhov,et al.  Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle , 2009, ArXiv.

[3]  Serguei A. Mokhov,et al.  Design and Implementation of Context Calculus in the GIPSY Environment , 2008, 2008 32nd Annual IEEE International Computer Software and Applications Conference.

[4]  Peter G. Kropf,et al.  The GIPSY Architecture , 2000, DCW.

[5]  Saul A. Kripke,et al.  Semantical Considerations on Modal Logic , 2012 .

[6]  Mourad Debbabi,et al.  Reasoning About a Simulated Printer Case Investigation with Forensic Lucid , 2009, ICDF2C.

[7]  Rolf Haenni,et al.  Probabilistic Argumentation Systems , 2003 .

[8]  Chris Dodd,et al.  GLU programmer's guide , 1996 .

[9]  William W. Wadge,et al.  An eductive interpreter for the language Lucid , 1987, SIGPLAN '87.

[10]  Serguei A. Mokhov,et al.  A type system for hybrid intensional-imperative programming support in GIPSY , 2009, C3S2E '09.

[11]  Serguei A. Mokhov,et al.  An ASSL-generated architecture for autonomic systems , 2009, C3S2E '09.

[12]  Paul Warren Swoboda.  A formalization and implementation of distributed intensional programming , 2004 .

[13]  Saul Kripke,et al.  A completeness theorem in modal logic , 1959, Journal of Symbolic Logic.

[14]  Serguei A. Mokhov,et al.  General Imperative Compiler Framework within the GIPSY , 2005, PLC.

[15]  Joey Paquet,et al.  GIPSY - A Platform for the Investigation on Intensional Programming Languages , 2005, PLC.

[16]  Joey Paquet.  Distributed Eductive Execution of Hybrid Intensional Programs , 2009, 2009 33rd Annual IEEE International Computer Software and Applications Conference.

[17]  Gerald J. Massey.  Review: Robert Feys, J. Dopp, Modal Logics , 1969 .

[18]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

[19]  Joey Paquet,et al.  Towards a framework for specification and code generation of automatic systems , 2008 .

[20]  John Plaice,et al.  An Active Functional Intensional Database , 2004, DEXA.

[21]  Mourad Debbabi,et al.  Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid , 2009, HSC.

[22]  Peter Grogono,et al.  Towards a framework for the general intensional programming compiler in the GIPSY , 2004, OOPSLA '04.

[23]  Xin Tong.  Design and implementation of context calculus in the gipsy , 2008 .

[24]  Serguei A. Mokhov,et al.  A Type System for Higher-Order Intensional Logic Support for Variable Bindings in Hybrid Intensional-Imperative Programs in GIPSY , 2009, 2010 IEEE/ACIS 9th International Conference on Computer and Information Science.

[25]  William W. Wadge,et al.  Lucid, the dataflow programming language , 1985 .

[26]  John Plaice,et al.  A Multithreaded Implementation for TransLucid , 2008, 2008 32nd Annual IEEE International Computer Software and Applications Conference.

[27]  Serguei A. Mokhov.  Hybrid Intensional Computing in GIPSY: JLucid, Objective Lucid and GICF , 2010 .

[28]  Joey Paquet,et al.  Towards Autonomic GIPSY , 2008, Fifth IEEE Workshop on Engineering of Autonomic and Autonomous Systems (ease 2008).

[29]  Emil Vassev.  ASSL: Autonomic System Specification Language -- A Framework for Specification and Code Generation o , 2009 .

[30]  Miller Puckette,et al.  Pure Data , 1997, ICMC.

[31]  William W. Wadge,et al.  Lucid - A Formal System for Writing and Proving Programs , 1976, SIAM J. Comput..

[32]  Serguei A. Mokhov,et al.  Self-Forensics Through Case Studies of Small-to-Medium Software Systems , 2009, 2009 Fifth International Conference on IT Security Incident Management and IT Forensics.

[33]  William W. Wadge,et al.  Lucid, a nonprocedural language with iteration , 1977, CACM.

[34]  Serguei A. Mokhov.  Towards Security Hardening of Scientific Demand-Driven and Pipelined Distributed Computing Systems , 2008, 2008 International Symposium on Parallel and Distributed Computing.

[35]  John Plaice,et al.  Sequential Demand-Driven Evaluation of Eager TransLucid , 2008, 2008 32nd Annual IEEE International Computer Software and Applications Conference.

[36]  Ahmed Patel,et al.  Finite state machine approach to digital event reconstruction , 2004, Digit. Investig..

[37]  Serguei A. Mokhov.  Towards Hybrid Intensional Programming with JLucid, Objective Lucid, and General Imperative Compiler Framework in the GIPSY , 2005, ArXiv.

[38]  Serguei A. Mokhov,et al.  Object-Oriented Intensional Programming: Intensional Java/Lucid Classes , 2009, 2010 Eighth ACIS International Conference on Software Engineering Research, Management and Applications.

[39]  Kaiyu Wan,et al.  A Context Theory for Intensional Programming , 2005 .

[40]  Bo Lu,et al.  Developing the distributed component of a framework for processing intensional programming languages , 2004 .

[41]  John Plaice,et al.  A new approach to distributed context-aware computing , 2012 .

[42]  Mourad Debbabi,et al.  Formally Specifying Operational Semantics and Language Constructs of Forensic Lucid , 2008, IMF.

[43]  Serguei A. Mokhov,et al.  Advances in the Design and Implementation of a Multi-tier Architecture in the GIPSY Environment with Java , 2009, 2010 Eighth ACIS International Conference on Software Engineering Research, Management and Applications.

[44]  Joey Paquet,et al.  OO-IP hybrid language design and a framework approach to the GIPC , 2009 .

[45]  Serguei A. Mokhov.  Towards Syntax and Semantics of Hierarchical Contexts in Multimedia Processing Applications Using MARFL , 2008, 2008 32nd Annual IEEE International Computer Software and Applications Conference.

[46]  Serguei A. Mokhov.  Encoding Forensic Multimedia Evidence from MARF Applications as Forensic Lucid Expressions , 2008, TeNe.

[47]  Iskender Agi,et al.  GLU: A High-Level System for Granular Data-Parallel Programming , 1997, Concurr. Pract. Exp..

[48]  Kaiyu Wan,et al.  Lucx: Lucid Enriched with Context , 2005, PLC.

[49]  Arnould Bayart.  Review: Saul A. Kripke, A Completeness Theorem in Modal Logic , 1966 .

[50]  Serguei A. Mokhov,et al.  Unifying and refactoring DMF to support concurrent Jini and JMS DMS in GIPSY , 2012, C3S2E '12.