没有合适的资源?快使用搜索试试~ 我知道了~
java开发利器源码-verification-of-language:算法验证项目的扩展。此存储库包括开发特定领域的语言,该语...
共116个文件
math:40个
java:27个
jar:12个
需积分: 9 0 下载量 150 浏览量
2021-05-20
01:19:05
上传
评论
收藏 344KB ZIP 举报
温馨提示
java开发利器源码随想曲 用于创建按构造正确的算术语言的工具包。 概述 Capriccio是一个工具包,用于将使用in定义和验证的函数转换为可从简单的解释算术语言调用的函数。 徽标的背景上有一个半盎司的炼金术符号,因为这是我完成咖啡后要使用的咖啡因量。 先决条件 在执行其他任何操作之前,您需要确保将最新版本的humoresque.jar安装到与capriccio.py相同的文件夹中。 Capriccio依靠Humoresque进行HAHA-Java的翻译,没有它就无法运行。 还需要以下软件: JDK 11.0.4 []或更高版本(早期版本也可能适用) Python 3 [] 制作(在类似Debian的发行版上使用sudo apt-get install build-essential进行sudo apt-get install build-essential ) 用法 使用Capriccio工具包需要三个不同的步骤,下面概述了这些步骤。 规格/实施 您需要做的第一件事是使用/src文件夹中的HAHA指定并验证您的功能。 确保您的功能的所有验证条件均已从HAHA正确生成/发布,这是您的
资源推荐
资源详情
资源评论
收起资源包目录
java开发利器源码-verification-of-language:算法验证项目的扩展。此存储库包括开发特定领域的语言,该语言包含各种数学 (116个子文件)
SoftwareReliability.class 2KB
tri.haha 2KB
quot.haha 2KB
mult.haha 2KB
squared.haha 1KB
factorial.haha 1KB
factorial.haha 1KB
modulo.haha 1KB
modulo.haha 1KB
equals.haha 1KB
add.haha 929B
ifelse.haha 430B
humoresque.jar 264KB
capriccio.jar 21KB
Modulo.jar 2KB
Equals.jar 2KB
Add.jar 2KB
Ifelse.jar 2KB
TestCase2.jar 2KB
TestCase3.jar 2KB
TestCase3.jar 2KB
TestCase1.jar 2KB
Squared.jar 2KB
SoftwareReliability.jar 2KB
TokenStream.java 10KB
CapriccioTokenizer.java 4KB
Evaluator.java 4KB
Main.java 3KB
SoftwareReliability.java 2KB
TokenTemplate.java 2KB
Call.java 2KB
Expression.java 2KB
Token.java 1KB
SquaredFunction.java 1KB
Atom.java 1KB
EvaluationException.java 1KB
EqualFunction.java 1KB
ParseException.java 1KB
TokenizationException.java 1KB
TriFunction.java 975B
QuotFunction.java 927B
ModuloFunction.java 924B
MultFunction.java 898B
IfelseFunction.java 894B
AddFunction.java 856B
SumFunction.java 856B
FactorialFunction.java 735B
NamedFunction.java 562B
Tokenizer.java 554B
TokenType.java 243B
ExpressionType.java 166B
LICENSE 1KB
Makefile 284B
equal-returns-1.math 795B
equal-returns-0.math 592B
ifelse-returns-100.math 510B
add-returns-232.math 465B
add-returns-136.math 322B
add-returns-88.math 252B
mult-rename-65536.math 249B
ifelse-returns-50.math 240B
mult-rename-4096.math 175B
mod-returns-0.math 172B
add-returns-60.math 130B
mult-rename-256.math 97B
ifelse-returns-10.math 95B
testcase1.math 91B
testcase3.math 90B
squared-returns-65535.math 79B
testcase2.math 66B
squared-returns-256.math 59B
add-returns-30.math 54B
quot-returns-1.math 38B
mod-returns-3.math 33B
tri-returns-7260.math 32B
tri-returns-21.math 32B
ifelse-returns-2.math 27B
mult-returns-12.math 24B
add-returns-3.math 23B
mult.math 20B
mod-returns-1.math 16B
modulo.math 16B
factorial.math 15B
ifelse.math 15B
factorial.math 15B
mod-returns-4.math 14B
squared.math 12B
quot-returns-3.math 12B
quot.math 12B
equals.math 12B
squared-returns-5.math 12B
add.math 10B
tri-returns-15.math 8B
README.md 4KB
manifest.mf 82B
project.properties 2KB
genfiles.properties 467B
built-jar.properties 111B
private.properties 99B
capriccio.py 5KB
共 116 条
- 1
- 2
资源评论
weixin_38564085
- 粉丝: 5
- 资源: 937
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
最新资源
- (源码)基于Arduino和Python的实时歌曲信息液晶显示屏展示系统.zip
- (源码)基于C++和C混合模式的操作系统开发项目.zip
- (源码)基于Arduino的全球天气监控系统.zip
- OpenCVForUnity2.6.0.unitypackage
- (源码)基于SimPy和贝叶斯优化的流程仿真系统.zip
- (源码)基于Java Web的个人信息管理系统.zip
- (源码)基于C++和OTL4的PostgreSQL数据库连接系统.zip
- (源码)基于ESP32和AWS IoT Core的室内温湿度监测系统.zip
- (源码)基于Arduino的I2C协议交通灯模拟系统.zip
- coco.names 文件
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功