| 数据流语言中数据频率的自动化处理技术 |
| |
| 引用本文： | 刘桂林,张昱.数据流语言中数据频率的自动化处理技术[J].计算机系统应用,2015,24(3):9-17. |
| |
| 作者姓名： | 刘桂林 张昱 |
| |
| 作者单位： | 1. 中国科学院软件研究所计算机科学实验室,北京,100190
2. 中国科学院软件研究所计算机科学实验室,北京100190;吉林大学珠海学院符号计算与知识工程公共实验平台,珠海519041 |
| |
| 摘 要： | 数据流分析和处理是计算机应用最常见的工作之一,实际系统常常包括不同频率的数据流,而现有的程序语言要求在程序中对数据频率进行显式的处理.旨在提出一种新型的变频数据流处理框架,针对基本的频率运算进行自动化处理.我们基于函数式程序设计语言和依赖类型系统理论,定义了数据流语言FStream,在程序的类型检查过程中对数据流频率进行检查和处理,并给出了离散的Simulink模型到FStream的表示.
|
| 关 键 词： | 依赖类型系统 数据流语言 类型推断 Haskell Simulink |
| 收稿时间： | 2014/6/30 0:00:00 |
| 修稿时间： | 2014/8/15 0:00:00 |
Automatic Checking and Calculation of Data Frequencies in Stream Languages |
| |
| LIU Gui-Lin and ZHANG Yu.Automatic Checking and Calculation of Data Frequencies in Stream Languages[J].Computer Systems& Applications,2015,24(3):9-17. |
| |
| Authors: | LIU Gui-Lin and ZHANG Yu |
| |
| Affiliation: | Laboratory for Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100190, China;Laboratory for Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100190, China;Laboratory of Symbolic Computation and Knowledge Engineering, Zhuhai College, Jilin Univerisity, Zhuhai 519041, China |
| |
| Abstract: | |
| |
| Keywords: | dependent type system stream languages type inference Haskell Simulink |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《计算机系统应用》浏览原始摘要信息 |
|
点击此处可从《计算机系统应用》下载全文 |
|
