使用通用内涵编程系统(GIPSY)评估高阶内涵逻辑(HOIL)表达式
编程语言
2010-07-09 v1
摘要
通用内涵编程系统(GIPSY)是围绕Lucid系列内涵编程语言构建的，这些语言依赖高阶内涵逻辑(HOIL)来提供内涵表达式的面向上下文的多维推理。HOIL将函数式编程与各种内涵逻辑相结合，允许将显式上下文表达式作为一等值进行评估，这些值可以作为参数传递给函数，并作为结果返回，同时定义了一组适当的上下文运算符。GIPSY的框架用Java实现，作为各种Lucid方言编译器的可替换组件集合，以及可分布式运行的需求驱动演绎评估引擎。GIPSY为满足各种需求而耦合内涵语言和命令式语言的混合编程模型提供支持。显式上下文表达式限制了张量物理、常规多维数学等中数学表达式的评估范围（实际上，Lucid程序是由上下文约束的数学或物理表达式），并且作为感兴趣用例之一的网络取证推理。因此，GIPSY是基于HOIL的语言的支持测试平台，其中一些语言能够实现此类推理，例如具有事件重建的形式化网络取证案例分析。在本文中，我们讨论了GIPSY的架构、其评估引擎以及示例用例。
引用
@article{arxiv.0906.3911,
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= {arXiv preprint arXiv:0906.3911},
year = {2010}
}
备注
14 pages; 8 figures