搜索

XsemanticsXtext 的类型系统

0粉丝
Eclipse Xsemantics 是一种DSL（在 Xtext 中实现的），为 Xtext 实现了编写类型系统、缩减规则、解释器和一般关系规则的语
知识
简介
Eclipse Xsemantics 是一种DSL（在 Xtext 中实现的），为 Xtext 实现了编写类型系统、缩减规则、解释器和一般关系规则的语言。 Xsemantics 定义是一套具有结论和一套前提的判断规则。 然后生成 Java 代码，可以在基于Xtext 的语言中进行验证。Eclipse... 更多
其它信息
地区
不详
开发语言
Java
开源组织
无
所属分类
插件和扩展、 Eclipse插件
授权协议
EPL
操作系统
跨平台
收录时间
2023-09-29
软件类型
开源软件
适用人群
未知

时光轴

里程碑1
LOG0
2023
2023-09
轻识收录
打卡
我要打卡
我要打卡
评价
0.0（满分 10 分）0 个评分
什么是点评分
图片
表情
全部评价( 0)
推荐率 100%
推荐
DS Schedulercron 类型的调度系统
DSScheduler是一个集中式的用于Linux/Unix下的cron类型的调度系统，提供一个Web管理界面用来管理、监控和调度作业和命令，支持多主机环境。特征：可以用作cron的替代产品。可以基于
Typed ClojureClojure 可选类型系统
TypedClojure保留了Clojure的优势，是Clojure的可选类型系统，也可以说是Clojure的一个库，改善了大量的静态类型安全检测。主要特性：从Java中保护你的Clojure程序，进
QualaLLVM/Clang 的类型修饰符
Quala 是一个增加覆盖类型系统到 LLVM 和 Clang 的实验，它的灵感来自于 JSR-30
ReJSONRedis 的 Json 类型模块
Redis的Json类型模块快速开始编译ReJSON模块加载ReJSONtoRedis从任意Redis客户端使用,e.g.: 
QualaLLVM/Clang 的类型修饰符
Quala是一个增加覆盖类型系统到LLVM和Clang的实验，它的灵感来自于JSR-308和CheckerFramework用户定制化的类型系统让不用黑进编译器来增加一个可选的语言选项成为可能。世界上
TSON一种带类型的
一种带类型的 "json"，主要用于解决 json 反序列化类型丢失问题；Java 对象的持久化方案
TSON一种带类型的
一种带类型的"json"，主要用于解决json反序列化类型丢失问题；Java对象的持久化方案的另一种选择，对象持久化成人类可读文本字符串。和其他持久化方案的对比jsontson无论是命名还是文本数据格
Trustfall查询任何类型的数据源
Trustfall 是一个查询引擎，用于查询任何类型的数据源，从 API 和数据库到磁盘上的任何类型
Trustfall查询任何类型的数据源
Trustfall是一个查询引擎，用于查询任何类型的数据源，从API和数据库到磁盘上的任何类型的文件，甚至是AI模型。TrustfallPlayground支持针对公共数据源运行查询，例如：Hacke
ElectroDB类型安全的 DynamoDB 库
ElectroDB是一个DynamoDB库，以方便使用复杂的分层关系建模和实现单表设计，同时保持你的查询代码可读性。特性：与现有表一起使用-ElectroDB简化了DocumentClient参数的构