登录
首页 » Others » while-language

while-language

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

代码说明:

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

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

发表评论


0 个回复

  • dianlushili
    很多经典电子电路仿真 仿真工具multism(A lot of classic simulation tools for electronic circuit simulation multism)
    2008-04-10 15:21:56下载
    积分:1
  • findplane
    find adjusted plane (find adjusted plane)
    2014-11-20 18:46:09下载
    积分:1
  • possion_pn
    利用泊松方程得到PN结热平衡下的电势分布(Poisson equation PN junction thermal equilibrium electrical potential distribution)
    2013-04-26 16:15:49下载
    积分:1
  • redObjectTrack
    This code is about red object track. This code is done in MATLAB.
    2015-02-06 01:29:05下载
    积分:1
  • random-noise
    利用matlab在图像中加入各种随机噪声,包括调用函数,以及randn使用、以及介绍send和state的区别。(Using matlab to join all kinds of random noise in the image, including the calling function, and randn use, as well as the introduction of the difference between send and state.)
    2012-05-28 20:54:54下载
    积分:1
  • ServiceRecord
    A running application service Source Code for Andriod.
    2013-12-29 14:47:34下载
    积分:1
  • histw
    An alternative to Matlab s HIST, function HISTW prevents extreme values in top and bottom percentiles of an input vector affecting the histogram s scaling, obscuring location and shape of the distribution s main mass. Limits of x and y (maximum only) axes can be set, and a marker line drawn at given x position. In contrast to HIST, bin size can be explicitly specified, and relative, rather than absolute, frequencies are plotted.
    2007-07-14 17:23:47下载
    积分:1
  • main
    特征线法(中矩形公式)数值模拟一维不可压缩瞬变流动(Characteristic line method (in the rectangle formula) one-dimensional numerical simulation of transient flow of incompressible)
    2009-09-15 11:17:21下载
    积分:1
  • quantizer1
    小数量化程序,中间的位数是可以调节的,这个所给的是32位的实数浮点数据转变为二进制数(the procedure of quantification for decimals)
    2011-11-15 10:39:24下载
    积分:1
  • matlab
    matlab粗糙集程序 以上程序都在matlab2011a中调试通过(matlab rough set procedures above procedures are debugging through in matlab2011a)
    2012-09-25 15:59:07下载
    积分:1
  • 696518资源总数
  • 105219会员总数
  • 11今日下载