登录
首页 » Others » while-language

while-language

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

代码说明:

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

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

发表评论

0 个回复

  • feature_reduction
    this code reduce the dimentional of feature space using combine sparse matrix+PCA for classification eeg signal. more detail exixst inside the code. this code tested and work properly
    2013-07-29 02:54:21下载
    积分:1
  • zgzxec
    增广最小二乘法的程序,通过程序可以明确原理。适应性好~(Least squares procedures augmented by the program can clear principles. Adaptability ~)
    2011-10-12 17:07:52下载
    积分:1
  • TestJTidy
    J Unit Test Suite Adapter Source Code for Andriod.
    2014-01-03 19:28:14下载
    积分:1
  • RNAG-TD
    ce document traite le cas de modèle hybride RN et AG
    2009-12-14 01:27:58下载
    积分:1
  • Digital Signal Processing(MATLAB)
    说明:  几十个用于数字信号处理的Matlab程序,超全(scores for digital signal processing procedures Matlab, ultra-wide! !)
    2005-12-16 19:46:44下载
    积分:1
  • uav0
    四旋翼无人机典型飞行状态的控制律设计,采用PID控制实现。(The state of the typical four-rotor UAV flight control law design, the use of PID control to achieve.)
    2012-07-06 09:43:31下载
    积分:1
  • fkmig
    F-K偏移,来自加拿大crewes小组的MATLAB程序(FK offset, MATLAB program teams Canada crewes)
    2015-04-16 21:52:15下载
    积分:1
  • pypdf
    主程序为Percus Yevick分布函数和球形粒子媒质的结构因子的计算( Main program for the calculation of Percus Yevick pair distribution function and structure factor for a medium with spherical particles )
    2011-06-03 23:35:44下载
    积分:1
  • analogBF
    用于智能天线原理演示(一维直线阵) 生成的指向性波束在主瓣方向与其他方向的功率对比(used for demostration of amart antenna(1-dimension straight array) to compare the power within the main lobe and other direction of the generated directional beam )
    2015-01-23 14:38:29下载
    积分:1
  • thematlabprograms
    it contains simpower systems basic matlab programs, regrding motors ,pwm, and all the basic circuits
    2010-08-04 18:43:24下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载