没有合适的资源?快使用搜索试试~ 我知道了~
java8看不到源码-kat:猫
共213个文件
expected:67个
strat:67个
fun:46个
需积分: 5 0 下载量 140 浏览量
2021-06-04
19:47:12
上传
评论
收藏 171KB ZIP 举报
温馨提示
java8 看不到源码K分析工具集 该存储库使用 K 策略语言来构建一套用于程序分析的工具。 安装/构建 系统依赖 构建/运行 KAT 需要以下内容: 用于生成*.k从文件*.md文件。 GNU , , 和 . GNU 和 . Java 8 JDK(例如) ,重要:15.04 之前的 Ubuntu 用户必须从源代码构建,因为 14.10 及之前的 Ubuntu 安装已损坏。 opam repository也需要rsync 。 自动一阶定理证明器。 在 Ubuntu >= 15.04(例如)上: sudo apt-get install make gcc maven openjdk-8-jdk flex opam pkg-config libmpfr-dev autoconf libtool pandoc zlib1g-dev z3 libz3-dev 在 ArchLinux 上: sudo pacman -S base-devel rsync opam pandoc jre8-openjdk mpfr maven z3 在 OSX 上,使用 , 安装命令行工具包后: brew tap
资源推荐
资源详情
资源评论
收起资源包目录
java8看不到源码-kat:猫 (213个子文件)
krazy-loop-incorrect.expected 3.83MB
krazy-loop-correct.expected 1.9MB
collatz-all.expected 421KB
inf-div-bad.expected 79KB
inf-div-good.expected 26KB
sum.expected 23KB
collatz.expected 14KB
prelude.expected 8KB
polymorphism-3.expected 7KB
collatz-all-upto.expected 5KB
sum.expected 4KB
simple-case.expected 4KB
polymorphism-1.expected 3KB
nested-dead-if.expected 3KB
long-loop.expected 3KB
live-if.expected 3KB
dead-if.expected 3KB
if-div-zero.expected 3KB
list-1.expected 2KB
long-loop.expected 2KB
straight-line-2.expected 2KB
inf-div-unknown-fixed.expected 2KB
simple-while.expected 2KB
sum-symbolic.expected 2KB
inf-div-unknown.expected 2KB
polymorphism-2.expected 2KB
sum-plus.expected 2KB
tuple-1.expected 2KB
div-zero.expected 2KB
tuple-3.expected 1KB
list-match.expected 1KB
simple-case-letrec.expected 1KB
simple-list.expected 1KB
partial-application.expected 1KB
pattern-failure.expected 1KB
list-2.expected 1KB
tuple-2.expected 1KB
non-linear-pattern.expected 1KB
empty-argument.expected 1KB
simple-application.expected 1KB
straight-line-1.expected 1KB
collatz-all-upto.expected 1014B
constructor-bst-sorting.expected 703B
pattern.expected 675B
nth.expected 657B
pattern-simple.expected 649B
factorial-and-list-max.expected 637B
map.expected 631B
fold.expected 593B
fold-sum.expected 593B
sum-tail-recursive.expected 593B
fold-tree.expected 593B
list-max.expected 591B
tail-recursion.expected 591B
ackermann.expected 591B
constructor-tree-mirror.expected 492B
references-3.expected 327B
references-4.expected 327B
references-2.expected 327B
references-5.expected 327B
exceptions.expected 324B
exceptions-branch.expected 324B
exceptions-simple.expected 324B
exceptions-branch-shadowing.expected 324B
nats.expected 216B
references-1.expected 216B
function-no-arguments.expected 216B
constructor-bst-sorting.fun 1KB
pattern.fun 997B
references-1.fun 957B
pattern-simple.fun 690B
nth.fun 573B
tuple-3.fun 548B
factorial-and-list-max.fun 536B
tail-recursion.fun 522B
long-loop.fun 468B
nats.fun 386B
fold-tree.fun 385B
polymorphism-3.fun 361B
collatz-all-upto.fun 349B
constructor-tree-mirror.fun 333B
partial-application.fun 331B
tuple-2.fun 306B
references-4.fun 280B
references-5.fun 271B
fold-sum.fun 254B
prelude.fun 229B
ackermann.fun 222B
list-max.fun 220B
map.fun 219B
tuple-1.fun 216B
list-1.fun 215B
exceptions-branch.fun 173B
exceptions-branch-shadowing.fun 173B
fold.fun 159B
polymorphism-2.fun 145B
list-match.fun 136B
pattern-failure.fun 130B
sum-tail-recursive.fun 121B
empty-argument.fun 108B
共 213 条
- 1
- 2
- 3
资源评论
weixin_38545959
- 粉丝: 1
- 资源: 928
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
最新资源
- 微信自动发送消息,微信机器人(简单),可以给一个特定的人发送一个特定的消息,后续会继续完善的.zip
- 以下是关于Python项目设计资源的详细内容.docx
- 三菱plc基于mx组件的通用访问远程api接口
- 一套基于 .NET 开发的支付SDK,它简化了API调用及通知的处理流程
- 以下是关于使用各种编程语言实现算法的详细学习资源.docx
- e刚发的如果看你的了啊好吧耳鼻喉热交换包括aelh
- kernel-5.15-ky10-x86.tar.gz
- yolov4 - tiny 900张图片训练效果2
- 基于OpenCV的简易实时人脸识别门禁控制系统
- 以下是 YOLO(You Only Look Once)学习的详细课程.docx
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功