24 citations · 112 across the 16 of their papers we have counts for
7 papers · 1 filter
Object-Oriented Intensional Programming: Intensional Classes Using Java and Lucid
Aihua Wu, Joey Paquet, Serguei A. Mokhov
This article introduces Object-Oriented Intensional Programming (OO-IP), a new hybrid language between Object-Oriented and Intensional Programming Languages in the sense of the lat…
Advances in the Design and Implementation of a Multi-Tier Architecture in the GIPSY Environment
Bin Han, Serguei A. Mokhov, Joey Paquet
We present advances in the software engineering design and implementation of the multi-tier run-time system for the General Intensional Programming System (GIPSY) by further unifyi…
A Type System Theory for Higher-Order Intensional Logic Support for Variable Bindings in Hybrid Intensional-Imperative Programs in GIPSY
Serguei A. Mokhov, Joey Paquet
We describe a type system for a platform called the General Intensional Programming System (GIPSY), designed to support intensional programming languages built upon intensional log…
Using the General Intensional Programming System (GIPSY) for Evaluation of Higher-Order Intensional Logic (HOIL) Expressions
Serguei A. Mokhov, Joey Paquet
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…
Reasoning About a Simulated Printer Case Investigation with Forensic Lucid
Serguei A. Mokhov, Joey Paquet, Mourad Debbabi
In this work we model the ACME (a fictitious company name) "printer case incident" and make its specification in Forensic Lucid, a Lucid- and intensional-logic-based programming la…
Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid
Serguei A. Mokhov, Joey Paquet, Mourad Debbabi
This work-in-progress focuses on the refinement of application of the intensional logic to cyberforensic analysis and its benefits are compared with the finite-state automata appro…
Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle
Serguei A. Mokhov, Joey Paquet
A Forensic Lucid intensional programming language has been proposed for intensional cyberforensic analysis. In large part, the language is based on various predecessor and codecess…