- new-iterator-validity Iterators are a fundamental part of the STL. They are the link between generic algorithms and containers such that it is possible for the generic algorithms to traverse and access the elements in the container in a homogeneous way. The iterator validity property ensures that iterators are kept valid at any time except when the element is deleted.
- SOUNDER ST套件产生报警音 本实例的目的是让大家学会用单片机产生声音的方法
- DrawView 基于vc++的mfc的画图界面实现的小代码
- stm32ADC stm32 初学者不完全手册例子 adc应用
- davidC code jam 2013 3rd solution
- Iterator 设计模式中的迭代器模式
文件名称:while-language
-
所属分类:
- 标签属性:
- 上传时间:2014-02-17
-
文件大小:965byte
-
已下载:0次
-
提 供 者:
-
相关连接:无下载说明:别用迅雷下载,失败请重下,重下不扣分!
介绍说明--下载内容来自于网络,使用问题请自行百度
Haskell code defining syntax und semantics of the "while language" with welltyped predicates. Inspired by "Semantics With Applications" (Nielson).
(系统自动生成,下载前可以参看下载内容)
下载文件列表
while-language.hs
本网站为编程资源及源代码搜集、介绍的搜索网站,版权归原作者所有! 粤ICP备11031372号
1999-2046 搜珍网 All Rights Reserved.