登录
首页 » Others » while-language

while-language

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

代码说明:

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

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

发表评论

0 个回复

  • Vol4(1)_2
    this document is paper
    2010-01-01 06:10:45下载
    积分:1
  • ex9_11
    ex9_11 雷达脉冲压缩处理。对接收到的雷达回波信号进行正交解调,产生理想线性调频脉冲压缩系数。进行脉压处理。(ex9_11 radar pulse compression processing. Butt received radar echo signals, quadrature demodulation, resulting in an ideal LFM pulse compression factor. Pulse pressure to deal with.)
    2009-07-16 18:21:24下载
    积分:1
  • stop-and-wait-arq
    Stop-and-wait ARQ is a method used in telecommunications to send information between two connected devices. It ensures that information is not lost due to dropped packets and that packets are received in the correct order. It is the simplest kind of automatic repeat-request (ARQ) method. A stop-and-wait ARQ sender sends one frame at a time it is a special case of the general sliding window protocol with both transmit and receive window sizes equal to 1. After sending each frame, the sender doesn t send any further frames until it receives an acknowledgement (ACK) signal. After receiving a good frame, the receiver sends an ACK. If the ACK does not reach the sender before a certain time, known as the timeout, the sender sends the same frame again.
    2011-08-03 16:53:31下载
    积分:1
  • 123456
    根据所给样本数据用三种不同的方法绘制该公路并估计其长度。 分别用线性插值法、最近邻域插值法和三次样条插值法计算公路长度,并用勾股定理估计公路的长度 (According to the sample data in three different ways, the road map and estimate its length. , Respectively, by linear interpolation, nearest neighbor interpolation domain and cubic spline interpolation method to calculate the length of highways and roads with an estimated length of Pythagorean Theorem)
    2008-12-10 22:13:46下载
    积分:1
  • Lmsadf
    最小均方自适应滤波 可用于系统辨识 预测编码 谱分析 噪声消除(LMS adaptive filter can be used to identify predictive coding system to eliminate noise spectral analysis)
    2011-04-20 19:57:12下载
    积分:1
  • MAP16
    一个用于模拟人的听觉神经系统的工具包,由meddis开发。主要模拟从外部刺激到机电过程转换后的过程。(One for the nervous system of human hearing simulation toolkit developed by the meddis. Main simulation process from the external stimulus to the electromechanical conversion process.)
    2010-11-26 13:05:14下载
    积分:1
  • SpaceVectorPWM_Saba_implementation
    Space Vector PWM Saba implementation
    2010-07-08 17:05:29下载
    积分:1
  • zuoye_two
    基于MATLAB模糊控制下二阶系统的阶跃响应(MATLAB Fuzzy control based on the step response of second-order system)
    2010-10-15 08:46:31下载
    积分:1
  • Radialdistortion
    鱼眼校正用matlab编写,可以得到矫正后的图片(Radial distortion)
    2009-11-06 12:05:25下载
    积分:1
  • clock
    简易时钟,MATLAB界面开发程序源代码,产生一个显示时间的界面(clock produce a small program in order to see the time )
    2010-05-22 21:00:19下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载