Lustre 语言的 Rust 生成相关的工作

目前 Lustre V6 编译器支持编译生成的语言为C语言。但也注意到,以 Rust 语言为生成目标语言,也存在若干相关工作。

rustre(elegaanz)

该项工作为 Lustre v6 语言的解析器,使用 Rust 语言实现。生成 Lustre AST。

项目: github.com/elegaanz/rustre

rustre (emersion)

该项工作为将 Lustre 子集编译为 Rust 的编译器。编译器由 Rust 语言实现。

项目: github.com/emersion/rustre

rustre (Kerl13)

该项工作为将 Lustre 子集编译为 Rust 的编译器。编译器由 OCaml 语言实现。

项目: github.com/Kerl13/rustre

chandeliers

该项工作通过提供 proc macro 将 Lustre 源程序编译为 Rust。该项目由 Rust 语言实现。

项目:github.com/Vanille-N/chandeliers

Kind2 rust 生成

Kind2 模型检查工具支持 Rust 语言生成。

--compile true: kind2-mc.github.io/kind2/

相关推荐
superman超哥1 天前
Rust `‘static` 生命周期:从字面意义到深层语义
开发语言·后端·rust·生命周期·编程语言·rust static·深层语义
半夏知半秋1 天前
rust学习-Option与Result
开发语言·笔记·后端·学习·rust
superman超哥1 天前
Rust 结构体中的生命周期参数:所有权设计的核心抉择
开发语言·后端·rust·rust结构体·rust生命周期·所有权设计
lusasky1 天前
在Windows上编译、安装Rust
开发语言·windows·rust
半夏知半秋1 天前
rust学习-探讨为什么需要标注生命周期
开发语言·笔记·学习·算法·rust
superman超哥1 天前
Rust 生命周期边界:约束系统的精确表达
开发语言·后端·rust·rust生命周期边界·约束系统
superman超哥1 天前
Rust 生命周期省略规则:编译器的智能推导机制
开发语言·后端·rust·编译器·rust生命周期·省略规则·智能推导
xuejianxinokok1 天前
rust trait 相比于传统的 oop 有哪些优点?
后端·rust
superman超哥1 天前
Rust Rc与Arc的引用计数机制:共享所有权的两种实现
开发语言·后端·rust·编程语言·rust rc与arc·引用计数机制·共享所有权