标题:有偿求助pl0编译到nusmv(一个模型检测侧软件,语言很简单)
只看楼主
slovesum
Rank: 1
等 级:新手上路
帖 子:2
专家分:0
注 册:2018-5-4
 问题点数:0 回复次数:1 
有偿求助pl0编译到nusmv(一个模型检测侧软件,语言很简单)
毕设需要写一个 compiler, 从pl0到 nusmv。 现有一个从pl0到Tla的翻译器。
nusmv和tla都是模型检测软件,都是自己的语言,但是很简单。pl0到tla的那个翻译器的前半部分包括词法什么的abstract tree 可以直接用,相当于前端弄好了,需要些后端生成nusmv文件。 只要能过两个文件的pass就可以。具体内容价钱 请加qq详谈。
搜索更多相关主题的帖子: 编译 模型 检测 软件 语言 
2018-05-04 15:28
slovesum
Rank: 1
等 级:新手上路
帖 子:2
专家分:0
注 册:2018-5-4
得分:0 
回复 楼主 slovesum
q:384062933 请加说明编译
2018-05-04 15:32



参与讨论请移步原网站贴子:https://bbs.bccn.net/thread-486624-1-1.html




关于我们 | 广告合作 | 编程中国 | 清除Cookies | TOP | 手机版

编程中国 版权所有,并保留所有权利。
Powered by Discuz, Processed in 0.171639 second(s), 7 queries.
Copyright©2004-2024, BCCN.NET, All Rights Reserved