搜索
CakeMLML语言的验证实施
认领
关注
0
粉丝
CakeML是一种具有成熟正确编译器和运行系统的功能性编程语言。CakeML是基于Standard ML 的重要子集。它的语义和编译器算法都强调高阶逻
知识
简介
CakeML是一种具有成熟正确编译器和运行系统的功能性编程语言。CakeML是基于Standard ML 的重要子集。它的语义和编译器算法都强调高阶逻辑,并且已被证明是改造CakeML程序为语义等价的机器代码。我们使用HOL4的最新开发版本来搭建CakeML,我们在PolyML5.6上创建HOL (...
更多
其它信息
地区
不详
开源组织
无
所属分类
程序开发、 其他开发相关
授权协议
BSD
操作系统
跨平台
收录时间
2023-09-30
软件类型
开源软件
适用人群
未知
时光轴
里程碑
1
LOG
0
2023
2023-09
轻识收录
打卡
我要打卡
我要打卡
评价
0.0
(满分 10 分)
0 个评分
什么是点评分
图片
表情
视频
评价
全部评价( 0)
推荐率 100%
推荐
MyHDL硬件描述和验证语言
MyHDL将Python变成一个硬件描述和验证语言,为硬件工程师提供前所未有的强大功能。
VccValidateVue.js 的验证库
VccValidate是Vue.js的验证库。它有很多开箱即用的验证规则,也支持自定义验证规则。它是基于模板的,因此它与HTML5验证API类似且熟悉。您可以验证HTML5输入以及自定义Vue组件。特
goDoHDNS-over-HTTPS 的 Go 验证项目
godoh用Go语言编写的,用于实现DNS-over-HTTPS的验证项目,目前支持服务商包括:Google,Cloudflare,但也包含使用传统DNS的服务。从源码中构建 godoh :确保已安装
AlvorEclipse的SQL验证插件
Alvor是一个Eclipse的插件,用来在Java代码中对SQL语句进行验证,包括语法以及在实际数据库的执行情况。
Proxy-Filter验证代理的有效性
proxy-filter验证代理的有效性安装npm i proxy-filter -g用法 Usage:index--input<file...>--output<file...&g
goDoHDNS-over-HTTPS 的 Go 验证项目
godoh 用 Go 语言编写的,用于实现 DNS-over-HTTPS 的验证项目,目前支持服务商
US2FormValidator表单的验证框架
US2FormValidator 是iOS 上一个输入表单的验证框架。
FXModelValidationiOS 验证
FXModelValidation是Objective-C库,可以简单验证日期/模型/表单,适用于所有NSObject。因此,它应该与CoreData或原始NSObject都可以正常工作。库透明地支持
BaConBASIC 语言转成 C 语言的工具
BaCon是BAsicCONverter的首字母缩写。BaConBASIC转换器是一个将用BASIC语法编写的程序转换为C语言的工具,产生的C语言代码可以用GCC或CC等通用C语言编译器进行编译。它也
FXModelValidationiOS 验证
FXModelValidation 是 Objective-C 库,可以简单验证日期/模型/表单,适