莱托斯

LoTOS——一种轻量级的操作语义执行工具,提出了一种轻量级工具,以帮助开发操作语义。要使用LITOS,操作语义必须用它的元语言来表达,它本身就是米兰达的超集。LetOS编译器比可比的工具小,但LetOS强大到足以支持使用胶乳的发布质量渲染,足够快地使用米兰达或Haskell提供有竞争力的执行和跟踪,并且通用性足以支持使用Netscape进行派生树浏览。Letos已经应用于Java安全处理器,它是打算在智能卡上运行的Java虚拟机的一个版本。Letos还与各种编程语言的子集一起使用。LeTOS是独特的,因为它有助于检查说明书是否操作上是保守的。