资源列表
[其它] multinomial
说明:一个定制的多项式计算器,采用逆波兰方式解读公式并计算其结果,可以在一些特殊条件下使用。<chenjianhua> 在 2008-10-13 上传 | 大小:47.36kb | 下载:0
[编译器/词法分析] study_Lex_Yacc
说明:Lex 和Yacc 简明教程 本书将教会你如何使用lex 和yacc 构造一个编译器。 lex 和yacc 是两个用来生成词汇分析器和剖析器的工具。 导言部分描写了构建编译器所需的基本部分,以及lex 和yacc 之间的互动关系。后面两章更加详细的描写了lex 和 yacc。构建了一个经典的计算器程序。这个计算器支持常用 的算术符号和控制结构,例如实现了像ifelse和while 这样的控制结构。经过小小的修改,就把这个计算<蒋崇武> 在 2008-10-13 上传 | 大小:343.02kb | 下载:0
[编译器/词法分析] The_B_Language_and_Method
说明:< B语言与方法:实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先,介绍了B 语言的发展历史及与其他语言的关系,然 后,从集合、序列等基本数学符号表示到B 语言的结构化机制,再到它所支 持的大型程序设计方法,全面地介细了B 符号语言的描述方法。<蒋崇武> 在 2008-10-13 上传 | 大小:5.5mb | 下载:0