登录
首页 » Others » while-language

while-language

于 2014-02-17 发布 文件大小:1KB
0 237
下载积分: 1 下载次数: 2

代码说明:

  Haskell code defining syntax und semantics of the "while language" with welltyped predicates. Inspired by "Semantics With Applications" (Nielson).

下载说明:请别用迅雷下载,失败请重下,重下不扣分!

发表评论

0 个回复

  • Bandelet_ImageFusion_Toolbox
    Matlab Image Fusion Toolbox for image fusion algorithm based on bandelet transform. This toolbox contains Matlab files that implement the image fusion algorithms described in paper Xiaobo Qu, Jingwen Yan, Guofu Xie, et al. A Novel Image Fusion Algorithm Based on Bandelet Transform. Chinese Optics Letters,Vol.5,No.10,pp:569-572, 2007
    2012-08-26 21:37:18下载
    积分:1
  • LDPC_BSN
    code LDPC util error, help me correct
    2015-01-03 22:32:41下载
    积分:1
  • SA_TSP
    热处理融合,崭新的融合处理方法,仿真显示性能得到有效提升(Heat treatment, a new fusion processing method, the performance of the simulation show that ascension)
    2014-10-25 21:17:22下载
    积分:1
  • sift-ChinesePaperByLowe
    LOWE关于sift算法的经典文章的中文翻译以及源代码(LOWE sift algorithm classic article on the Chinese translation and source code)
    2015-03-30 19:34:50下载
    积分:1
  • segmentation_NN
    in this project we use the neural network to segment textured image using a multilayer perceptron.
    2010-12-06 22:42:21下载
    积分:1
  • MATLAB_Simulink-PSKchuanshu
    利用matlab simulink软件中的communication blockets(通信模块)对psk数字传输系统进行动态、可视化仿真,清晰地表现psk传输系统组成及各项性能指标(Using matlab simulink software communication blockets (communication modules) of psk digital transmission system for dynamic, visual simulation, the performance of psk clear the transmission system components and performance indicators)
    2011-09-27 17:57:37下载
    积分:1
  • normalize_DCT
    This is the matlab implementation of DCT based illumination normalization technique.
    2014-11-11 20:56:39下载
    积分:1
  • IFFshibie
    敌我识别信号的门限检测算法,该算法适应MarkX、MarkXII和S模式的信号。(IFF signal threshold detection algorithm, which is adapted MarkX, MarkXII and S mode signal.)
    2013-07-16 09:15:01下载
    积分:1
  • low-noise-CCD-
    低噪声CCD信号采集与处理系统技术研究 (Research on low-noise CCD signal acquisition and processing system technology)
    2013-12-13 13:06:36下载
    积分:1
  • 粗糙度matlab
    计算一维和二维表面粗糙度Ra,根据需要自行选择。(Calculate one and two dimensional surface roughness Ra, according to the needs of your choice.)
    2017-08-01 21:59:44下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载