登录
首页 » Others » while-language

while-language

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

代码说明:

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

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

发表评论

0 个回复

  • matlab
    基于MATLAB与VC混合编程的数字均衡器的设计(MATLAB and VC based on the number of hybrid programming equalizer design)
    2008-05-26 20:48:08下载
    积分:1
  • VC6_MATLAB_4
    VC与matlab混合编程实现图像处理.pdf(Mixed programming with VC matlab image processing. Pdf)
    2011-01-19 23:33:55下载
    积分:1
  • walsh1
    Walsh method of analysis
    2015-02-28 14:20:58下载
    积分:1
  • 关于CoVaR和Copula的R代码CoVaR-Copula
    关于CoVaR和Copula的R代码,大部分Copula都可以通过此代码计算对应的CoVaR(You can use this package to estimate the CoVaR based on various copulas)
    2021-01-07 18:48:52下载
    积分:1
  • TeagerKaiser
    TeagerKaiser Energy operator method has been explained with help of Matlab 2007a version. This method can be used in case of speech and voice processing as well as any kind of signal processing activities. This has been explained with multiple input signals. A noise has been added in order to explain the method s efficiency at last.
    2021-01-25 13:28:38下载
    积分:1
  • Classify
    简单的一段小程序 有关于图像识别技术的 (Simply a small program on the image recognition technology)
    2010-05-31 10:47:45下载
    积分:1
  • motionEstNTSS
    Block Matching Algorithm (continuous) New Three Step Search
    2013-11-05 23:55:32下载
    积分:1
  • matlab-cases-for-control
    控制系统的matlab设计实例的源代码,从简单到复杂(Source code control system matlab design examples, from the simple to the complex)
    2012-11-20 04:52:41下载
    积分:1
  • wavevib
    WAVEVIB generates a vibroseis waveform (Clauder wavelet) by % first calling SWEEP to generate a linear sweep and then calling % AUTO to autocorrelate that sweep. Theoretically, the autocorrelation % length is ~ 2*slength but only only the central wlength long % part is generated. This is like windowing the auto with a boxcar.(WAVEVIB generates a vibroseis waveform (Clauder wavelet) by first calling SWEEP to generate a linear sweep and then calling AUTO to autocorrelate that sweep. Theoretically, the autocorrelation length is ~ 2* slength but only only the central wlength long part is generated. This is like windowing the auto with a boxcar.)
    2008-03-20 18:45:40下载
    积分:1
  • 3weiinitial
    基于粒子群算法的一点个人的研究,希望与大家共同进步 (Particle swarm optimization based on a personal research, hope and progress together)
    2011-01-04 19:42:52下载
    积分:1
  • 696516资源总数
  • 106913会员总数
  • 8今日下载