搜索

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%
推荐
XsemanticsXtext 的类型系统
Eclipse Xsemantics 是一种DSL（在 Xtext 中实现的），为 Xtext 实现
DS Schedulercron 类型的调度系统
DSScheduler是一个集中式的用于Linux/Unix下的cron类型的调度系统，提供一个Web管理界面用来管理、监控和调度作业和命令，支持多主机环境。特征：可以用作cron的替代产品。可以基于
DS Schedulercron 类型的调度系统
DS Scheduler 是一个集中式的用于 Linux/Unix 下的 cron 类型的调度系统，
Typed ClojureClojure 可选类型系统
Typed Clojure 保留了 Clojure 的优势，是 Clojure 的可选类型系统，也可
Typed ClojureClojure 可选类型系统
TypedClojure保留了Clojure的优势，是Clojure的可选类型系统，也可以说是Clojure的一个库，改善了大量的静态类型安全检测。主要特性：从Java中保护你的Clojure程序，进
QualaLLVM/Clang 的类型修饰符
Quala是一个增加覆盖类型系统到LLVM和Clang的实验，它的灵感来自于JSR-308和CheckerFramework用户定制化的类型系统让不用黑进编译器来增加一个可选的语言选项成为可能。世界上
ReJSONRedis 的 Json 类型模块
Redis 的 Json 类型模块快速开始编译 ReJSON 模块加载 ReJSON to Redi
TSON一种带类型的
一种带类型的 "json"，主要用于解决 json 反序列化类型丢失问题；Java 对象的持久化方案
TSON一种带类型的
一种带类型的"json"，主要用于解决json反序列化类型丢失问题；Java对象的持久化方案的另一种选择，对象持久化成人类可读文本字符串。和其他持久化方案的对比jsontson无论是命名还是文本数据格
ReJSONRedis 的 Json 类型模块
Redis的Json类型模块快速开始编译ReJSON模块加载ReJSONtoRedis从任意Redis客户端使用,e.g.: