没有合适的资源?快使用搜索试试~ 我知道了~
uroboro-transformations
共76个文件
hs:38个
tex:15个
uro:14个
需积分: 9 0 下载量 57 浏览量
2021-05-02
11:13:41
上传
评论
收藏 161KB ZIP 举报
温馨提示
uroboro转换 用法 取消功能程序: cat program.uro | ./defunc 重新编程程序: cat program.uro | ./refunc 可与所有涵盖空(co)数据类型的完整Uroboro *程序一起使用。 没有保证。 *注意:与订单无关的变体。 实际上,这意味着不允许使用依赖顺序的程序。
资源推荐
资源详情
资源评论
收起资源包目录
uroboro-transformations-master.zip (76个子文件)
uroboro-transformations-master
main-src
DefuncCore.hs 1KB
Defunc.hs 1KB
UnnestD.hs 658B
RefuncCore.hs 1KB
Refunc.hs 1KB
UnnestR.hs 658B
CC.hs 1KB
MoveCon.hs 568B
uroboro-transformations.cabal 3KB
lib-src
UroboroTransformations
CoreDR
CoreDefunc.hs 1KB
MoveCon.hs 4KB
CoreRefunc.hs 1KB
FragmentTests.hs 477B
Unnest
ForDefunc.hs 713B
ForRefunc.hs 883B
Defunc.hs 465B
Extraction
ConExtraction.hs 3KB
DesExtraction.hs 550B
Extraction.hs 4KB
Util.hs 5KB
CoDataFragments
Defunc.hs 2KB
Refunc.hs 3KB
Refunc.hs 539B
CopatternCoverage.hs 872B
Util
UroboroEnhanced.hs 788B
Equality.hs 799B
VariableSchema.hs 2KB
Typed.hs 848B
Conversion.hs 1KB
ForTesting.hs 2KB
CopatternCoverage
CCTree.hs 6KB
Unnest.hs 3KB
PrettyPrint.hs 2KB
test
DefuncSpec.hs 5KB
RefuncSpec.hs 6KB
Spec.hs 43B
Str.hs 126B
DeRefuncSpec.hs 2KB
compos.uro 172B
Setup.hs 46B
samples
test_multi_des_result.uro 674B
failure2.uro 357B
dyck_recognizer.uro 521B
failure3.uro 267B
failure_result.uro 742B
dead_rules.uro 249B
fibonacci_stream.uro 843B
eval1_result.uro 1KB
strange_mixed_case 591B
test.uro 130B
eval1.uro 732B
test_multi_des.uro 284B
self_interpreter.uro 2KB
failure.uro 324B
.gitignore 187B
talk
talk.tex 18KB
bibliography.bib 7KB
beamerleanprogress.sty 8KB
transformations.tex 135KB
README.md 368B
thesis_prelim
appa.tex 25KB
chap7.tex 3KB
mitthesis.cls 20KB
chap4.tex 60KB
chap3.tex 49KB
chap1.tex 19KB
bibliography.bib 7KB
contents.tex 382B
appb.tex 1KB
lgrind.sty 7KB
cover.tex 6KB
chap2.tex 41KB
chap6.tex 21KB
main.tex 4KB
abstract.tex 1KB
chap5.tex 21KB
共 76 条
- 1
资源评论
八年一轮回
- 粉丝: 44
- 资源: 4727
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
最新资源
- 中医临床诊疗术语-证候同义词典
- NovAtelConvert-Setup
- MySql主备数据库配置
- BGP路由基本配置(可以互通)
- 《软件方法2024版》公开内容202405更新-epub版
- 适用于tensorflow-2.11.0 CUDA版本11.2的cuDNN8.1版本
- 5Y study学习平台2016计算机基础-综合测试(8)_哔哩哔哩_bilibili_2580252704.mp4
- (大赛作品)STM32实现的F072RB NUCLEO智能家居控制.zip
- STM32实现的数字示波器源码+数字信号处理教程、配套实例.zip
- 【cookie续续】【cookie续续】【cookie续续】
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功