An Active Functional Intensional Database

Swoboda, Paul; Plaice, John

doi:10.1007/978-3-540-30075-5_6

Cited by 6 publications

(4 citation statements)

References 1 publication

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…In our specification model we require more than just atomic context values -we need a higher-order context hierarchy to specify different level of detail of the incident and being able to navigate into the "depth" of such a context. A similar provision by has already been made by the author [17] and earlier works of Swoboda et al in [18,19,20,21] that needs some modifications to the expressions of the cyberforensic context. Some other languages can be referred to as intensional even though they may not refer to themselves as such, and were born after Lucid (Lucid began in 1974).…”

Section: Lucidmentioning

confidence: 72%

Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle

Mokhov,

Paquet

2009

Preprint

View full text Add to dashboard Cite

A Forensic Lucid intensional programming language has been proposed for intensional cyberforensic analysis. In large part, the language is based on various predecessor and codecessor Lucid dialects bound by the higher-order intensional logic (HOIL) that is behind them. This work formally specifies the operational aspects of the Forensic Lucid language and compiles a theory of its constructs using Isabelle, a proof assistant system.

show abstract

Section: Lucidmentioning

confidence: 72%

Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle

Mokhov,

Paquet

2009

Preprint

View full text Add to dashboard Cite

show abstract

“…We will soon be using the AFID (Active Intensional Functional Intensional Database [8]) for building stand-alone hypertexts in a declarative manner, complete with multiple authors and version control.…”

Section: Resultsmentioning

confidence: 99%

Collaborative intensional hypertext

Plaice

Mancilla

2004

Proceedings of the Fifteenth ACM Conference on Hypertext and Hypermedia

Self Cite

View full text Add to dashboard Cite

We introduce a new approach for creating and viewing hypertexts in a collaborative manner. The hypertext is understood to be an intension, in the logical sense, i.e., a mapping from multidimensional contexts to simple texts. Creation and navigation then correspond to moving from one context to another, and links are made relative to the current context. Using an active context called an aether, collaborative hypertexts can be built, in which several users can view the same hypertext together, each with their own preferences. We give a summary of a Web-based infrastructure supporting the use of collaborative, intensional hypertexts.

show abstract

“…Many problem domains are intensional in nature, e.g. computation of differential and tensor equa-tions [25], temporal computation and temporal databases [24,37], multidimensional signal processing [1], context-driven computing [43], constraint programming [42], negotiation protocols [42], automated reasoning in cyberforensics [21,20,17], multimedia and pattern recognition [19] among others. The current mainstream programming languages are not well adapted for the natural expression of the intensional aspects of such problems, requiring the expression of the intensional nature of the problem statement into a procedural (and therefore sequential) approach in order to provide a computational solution.…”

Section: Intensional Logic and Programmingmentioning

confidence: 99%

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

Mokhov

Paquet

2010

2010 Eighth ACIS International Conference on Software Engineering Research, Management and Applications

View full text Add to dashboard Cite

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.

show abstract

An Active Functional Intensional Database

Cited by 6 publications

References 1 publication

Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle

Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle

Collaborative intensional hypertext

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

Contact Info

Product

Resources

About