软件搜索-zbMATH Open

弗兰

swMATH ID:	21482
软件作者：	科纳尔·埃利奥特；保罗·哈达克
描述：	功能反应动画。Fran（Functional Reactive Animation）是一个数据类型和函数的集合，用于创作丰富的交互式多媒体动画。Fran的关键思想是其行为和事件的概念。行为是时变的反应值，而事件是任意复杂条件的集合，可能包含丰富的信息。大多数传统值可以被视为行为，当图像被这样处理时，它们就变成了动画。尽管这些概念被捕获为数据类型而不是编程语言，但我们为它们提供了指称语义，包括对实时的适当处理，以指导推理和实现。本文还描述了一种基于事件时间域的局部信息结构，利用区间分析有效地进行事件检测的方法。Fran已在Hugs中实现，为基于解释的系统带来了令人惊讶的良好性能。给出了几个例子，包括使用常微分方程描述涉及重力、弹簧、速度、加速度等物理现象的能力。
主页：	https://dl.acm.org/citation.cfm？doid=258948.258973
相关软件：	哈斯克尔;卢斯特;酯类;信号;Coq公司;Yampa公司;TBAG公司;StreamQRE（流QRE）;奈亚德;洛拉;Flapjax公司;仄洛斯;电报CQ;卡尤加;StreamIt（流媒体）;Apache Spark;简单RaTT;副驾驶员;seL4级;PVS公司
引用于：	10文件