登录
首页 » Others » while-language

while-language

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

代码说明:

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

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

发表评论

0 个回复

  • wireless-matlab-0.5
    说明:  无线传感网络matlab建模的程序文件 很有参考性(Matlab modeling wireless sensor networks is very informative program files)
    2011-04-15 20:51:14下载
    积分:1
  • fuzzy-control
    简单的模糊控制实例,已知传递函数,设计模糊控制器(Simple fuzzy control instance, the transfer function is known, the fuzzy controller design)
    2015-01-27 19:54:59下载
    积分:1
  • phaseunwrap11
    傅里叶对干涉相位梯度进行变换,以执行一种新的加权最小二乘(Fourier transform on the interferometric phase gradient to perform a new weighted least squares)
    2014-02-24 14:35:45下载
    积分:1
  • waveletanalysis
    很好用的matlab wavelet,,,,,,,,,,(Good use of the matlab wavelet ,,,,,,,,,,)
    2010-12-11 02:30:28下载
    积分:1
  • Active-Contour-Segmentation
    Region Based Active Contour Segmentation
    2014-12-18 17:42:50下载
    积分:1
  • Dielectric
    propagation of 1_d wave in peresenc of dielectric slab
    2012-12-30 23:45:07下载
    积分:1
  • RefineKnotVectCurve
    计算B样条节点细化的算法,进而分析B样条曲线(Calculation of B spline node refinement algorithm, and then analysis of B spline curve)
    2013-11-06 15:51:08下载
    积分:1
  • SAR
    鉴于网上合成孔径雷达的资料比较少,上传一些老师给的文献资料,希望对大家有帮助(Given the online synthetic aperture radar data is relatively small, upload some literature teacher, I hope to help everyone)
    2014-01-13 13:58:31下载
    积分:1
  • BasedMatlabDoubleLoopDCSpeedSystem
    基于Ma tlab双闭环直流调速系统的仿真 陈中 李先锋(Based Ma tlab Double Loop DC Speed System Li Xianfeng Chen)
    2010-05-16 04:40:33下载
    积分:1
  • matalbShim
    核磁共振谱仪的匀场仿真程序。仿真了比较简单的匀场过程,对匀场算法进行验证。(NMR spectrometer shimming simulation program. Simulation of a relatively simple process shimming of shimming algorithm validation.)
    2007-04-25 14:42:10下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载