网站首页

登录

while-language

于 2014-02-17 发布文件大小:1KB

 0  270

下载积分: 1 下载次数: 2

我要下载

代码说明：

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

下载说明：请别用迅雷下载，失败请重下，重下不扣分！

发表评论

0 个回复

Plainstrain_PatchTest
This code is used for patch test of plain strain in FEM.

2013-12-07 10:45:15下载

积分：1
fuse
matlab code for fusing 2 images

2012-06-08 22:54:56下载

积分：1
softsqueeze.tar
SqueezeBox software version

2014-10-26 18:34:22下载

积分：1
smoothing-by-laplacian
Image sharpening using Laplacian

2013-05-03 18:18:58下载

积分：1
52172278xiaoboyuyinxinhao
说明：基于小波变化的一些程序，有效的提高语音识别(Some of the procedures based on wavelet transform, effectively improve the speech recognition)

2011-03-22 14:50:16下载

积分：1
MM1
matlab 的 M/M/1排队系统带统计图和界面(matlab MM1)

2013-04-18 11:18:28下载

积分：1
zxecf
一种应用牛顿迭代法的MATLAB源程序解决的是方程求根的问题(A MATLAB application of Newton iteration method to solve the source problem of finding roots of equations)

2010-12-25 11:33:00下载

积分：1
DIT
Discrete inverse fourier transform

2012-04-10 03:51:26下载

积分：1
chap7
单级倒立摆控制此程序用在过程控制中，仿真软件为Matlab(Single Link Inverted Pendulum Control)

2013-12-05 20:14:13下载

积分：1
pso
A program written for PSO

2014-12-19 16:15:09下载

积分：1

696516资源总数
106914会员总数
0今日下载