登录
首页 » Others » while-language

while-language

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

代码说明:

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

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

发表评论

0 个回复

  • 2DGaborfilter
    two dimentional gabor filter
    2009-05-24 23:58:11下载
    积分:1
  • P94_ODE_RungeKutta2ndOrder
    Range Kutta 2 method used for solving ordinary differential equation.
    2014-10-15 17:51:36下载
    积分:1
  • wang
    2fsk调制解调 语音信号调制解调,误码率(2fsk modulation )
    2014-12-20 10:16:32下载
    积分:1
  • RS-code-and-missile-data-link
    在弹载数据链系统中,进行测试验证,实验表 明RS码能够明显改善弹载数据链的误码率性能。(In the onboard data link systems, test validation experiments show that RS code can significantly improve the bit error rate performance onboard data chain.)
    2014-01-21 10:25:32下载
    积分:1
  • rician-fading11
    莱斯信道的仿真与建模,包含突发干扰的仿真,应用于手机信号与基站的通信。(Rice channel simulation and modeling, including simulation of burst interference, used in mobile phones and base station communication signal.)
    2011-09-17 18:26:25下载
    积分:1
  • MSK
    matlab实现msk调制与解调,上传供大家分享,有图有真相。(Matlab realize MSK modulation and demodulation )
    2015-03-10 19:14:21下载
    积分:1
  • 300MATLABEXAMPLE
    300个MATLAB常用函数的例子。说明比较详细,是学习的好东西(300 MATLAB Examples of commonly used functions. Explain in greater detail, is a good thing to learn)
    2009-10-18 23:03:49下载
    积分:1
  • programme
    有关最大比合并、等增益合并的增益性能及误码率的描述。(The maximal-ratio combining, equal gain combined gain of performance and bit error rate description.)
    2009-12-15 19:43:23下载
    积分:1
  • Embiggen
    Add (or multiply, divide, etc) a matrix A to a vector b with the simple syntax A + Embiggen(b)
    2010-05-20 01:17:39下载
    积分:1
  • power_hvdc_vsc
    高压输电并网系统,包括逆变器控制系统,电流有功功率双环控制。(High-voltage transmission grid system, including inverter control system, the current active bicyclic control.)
    2016-01-04 11:24:59下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载