资源列表
[编译器/词法分析] The_B_Language_and_Method
说明:< B语言与方法:实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先,介绍了B 语言的发展历史及与其他语言的关系,然 后,从集合、序列等基本数学符号表示到B 语言的结构化机制,再到它所支 持的大型程序设计方法,全面地介细了B 符号语言的描述方法。<蒋崇武> 在 2008-10-13 上传 | 大小:5.5mb | 下载:0
[编译器/词法分析] The_B_Language_and_Method
说明:< B语言与方法:实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先,介绍了B 语言的发展历史及与其他语言的关系,然 后,从集合、序列等基本数学符号表示到B 语言的结构化机制,再到它所支 持的大型程序设计方法,全面地介细了B 符号语言的描述方法。<蒋崇武> 在 2025-05-30 上传 | 大小:5.5mb | 下载:0
[编译器/词法分析] banyiyuanlikejian
说明:编译原理课件辅助大家的课程学习希望多大家有帮助-Compilation Principle courseware assisted learning courses we hope that we have to help<wenming> 在 2025-05-30 上传 | 大小:5.59mb | 下载:0
[编译器/词法分析] LexAndYacc
说明:YACC和LEX的资料书籍 以及一些源码 很有帮助-YACC and LEX information source books as well as some helpful<yoyo> 在 2025-05-30 上传 | 大小:5.48mb | 下载:0
[编译器/词法分析] MITSUBISHI_Compiler
说明:一、该工程已基本完成PLC编程器的功能。 二、还需完成的功能有: 1。助记符程序分段时,不需加(;***)符号。 2。写助记符程序时,加行号。 3。助记符程序编辑器,还要加上光标位置显示。 4。元器件地址需用数据库进行管理。 5。使助记符程序与梯形图程序之间能互相切换。 6。还需补充MSP、MRD、MPP、MC、MCR等语句。-A, the project has basically comple<kevin> 在 2025-05-30 上传 | 大小:5.5mb | 下载:0
[编译器/词法分析] lex-and-yacc
说明:lex与yacc, 开发编译器的好工具,包含了每个部分的元代码-about lex and yacc,which are good tools for complier construction.It includes every sections codes.<James Jiang> 在 2025-05-30 上传 | 大小:5.48mb | 下载:0