登录
首页 » Others » while-language

while-language

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

代码说明:

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

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

发表评论

0 个回复

  • example_bpnetronetwork
    BP算法例子:用一个五层的神经网络去逼近函数(example_bpnetronetwork_5layers)
    2009-11-20 19:01:54下载
    积分:1
  • matlab1
    matlab 例子 能够更好的了解matlab环境 尤其是gui界面,帮助用户调高matlab语言编程能力!(matlab example matlab examplematlab examplematlab examplematlab examplematlab examplematlab example)
    2011-10-14 16:03:15下载
    积分:1
  • OFDMA
    ofdma的一个简单的收发程序采用QPSK调制噪声是高斯白噪声(A simple transceiver of ofdma program using QPSK modulation noise is gaussian white noise)
    2013-12-05 16:48:43下载
    积分:1
  • EBP-chaoticPrediction
    This program is prepared as an one-step EEG predictor. this is used a fuzzy neural network which is trained by a chaotic back propagation method
    2009-04-27 15:47:38下载
    积分:1
  • active_HighPass
    This is simulink file for Active High pass filter design
    2010-12-21 19:08:21下载
    积分:1
  • find_LUT_power_ranges
    基于LUT的数字预失真MATLAB代码 (LUT digital predistortion)
    2009-06-27 16:46:36下载
    积分:1
  • manish
    [mimi,i]=min(abs(imag(disp1)-imag(disp2))) legend( LHS of dispersion relation , RHS of dispersion equation ) xlabel( u,cl ) figure(1) clc uppercuts = input( Enter number of intersection points desired: ) [g,h] = ginput(uppercuts) w = sqrt(V.^2-u.^2) s = sprintf( Constants: ) disp(s) for p = 1:uppercuts s = sprintf( u( d d) = 0.10f ,L-1,p,u(p)) disp(s) s = sprintf( w( d d) = 0.10f ,L-1,p,w(p)) disp(s)
    2013-04-12 17:16:39下载
    积分:1
  • seisplot
    用于画地震波形图,用变面积方式显示波形,使波形变得美观(For drawing a seismic waveforms with variable area display waveform, the waveform becomes beautiful)
    2020-09-08 20:58:01下载
    积分:1
  • Archive123
    EM algorithm for Gaussian mixture. Works on arbitray dimensions with high speed and precision
    2010-10-28 17:44:03下载
    积分:1
  • cannysuanzi
    说明:  不用直接调用函数的canny算子的matlab源码,可以直接运行产生结果。(Without directly calling functions canny operator matlab source code, can run to produce results.)
    2010-05-02 09:42:38下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载