收藏

集合框架。此开发提供了一个高效的、可扩展的、机器检查的集合框架。该库采用面向对象编程中的接口、实现和通用算法的概念，并在Isabelle/HOL中实现。该框架的特点是使用数据精化技术将抽象规范（使用诸如集合之类的高级概念）细化为更具体的实现（使用集合数据结构，如红黑树）。Isabelle/HOL的代码生成器可以用来生成高效的代码。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH参考文献（参考 4篇文章 参考）

显示第1到第4个结果，共4个。
按年份排序(引用)

  1. 至尊（2019年版）
  2. Brunner，Julian；Lammich，Peter:带有部分订单缩减的可执行LTL模型检查器的正式验证（2018）
  3. Lammich，Peter:Gabow强连接组件算法的有效实现（2014）
  4. Lammich，Peter；Tuerk，Thomas:将数据精化应用于Hopcroft算法（2012）