登录
首页 » Others » while-language

while-language

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

代码说明:

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

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

发表评论

0 个回复

  • bppb
    我编写bppb的神经网络应用程序,第一次上传(of neural network applications, the first upload)
    2006-06-20 18:51:14下载
    积分:1
  • code4
    matlab gui设计学习手册 第二版 2012新版 第三章源码( matlab gui)
    2012-06-23 13:09:10下载
    积分:1
  • Double_LooP
    直流电机转速电流双闭环matlab仿真模型(DC motor speed current double closed loop matlab simulation model)
    2013-04-16 18:19:26下载
    积分:1
  • iVISSA
    说明:  光谱特征波段的筛选,选择光谱数据中具有代表性的变量用以建立定量预测模型(This file is used to filter the spectral characteristic variables)
    2021-03-13 13:32:31下载
    积分:1
  • Pointers-in-C
    Cbook for beginer aswell as geek
    2015-03-20 04:29:56下载
    积分:1
  • phasor
    PLOTTING PHASOR QUANTITIES USING MATLAB IN PSCAD A simple case which uses MATLAB for ploting phasor quantities. Apply the fault during simulation run and observe phasor quantities (you can change type of fault) WARNING * This case only works if you use the Compaq/Intel Fortran Compiler. (PLOTTING PHASOR QUANTITIES USING MATLAB IN PSCAD A simple case which uses MATLAB for ploting phasor quantities. Apply the fault during simulation run and observe phasor quantities (you can change type of fault) WARNING * This case only works if you use the Compaq/Intel Fortran Compiler. )
    2014-01-04 09:44:02下载
    积分:1
  • QBPNN
    自己编写的一个量子BP神经网络,数据是利用ELM官方网站上给出的数据(quantum bp neural networks)
    2021-03-28 15:19:12下载
    积分:1
  • vector
    这是一个可执行的向量量化vector编码程序,希望对大家有所帮助(This is an executable vector encoding vector quantization process, I hope all of you to help)
    2008-01-04 09:32:19下载
    积分:1
  • ht1d_fem2
    crank nicolson heat conduction
    2011-08-15 01:40:47下载
    积分:1
  • SVPWM
    电力电子仿真,电压空间矢量PWM的matlab实现,simulink仿真文件。(Power electronic simulation, voltage space vector PWM matlab, simulink simulation files.)
    2012-11-05 22:07:06下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载