Nettle公司 swMATH ID: 25231 软件作者： A.Voellmy、A.Agarwal、P.Hudak 描述： Nettle：消除网络路由器编程带来的痛苦。我们描述了一种以语言为中心的方法来解决复杂、低级和容易出错的网络控制问题。具体来说，我们设计了一种特定于域的语言Nettle，它嵌入在Haskell中，允许以优雅的声明式风格编程OpenFlow网络。Nettle基于功能反应式编程（FRP）的原理，因此具有连续和离散抽象，每个抽象都在设计中得到了利用。我们已经实现了Nettle并在真正的OpenFlow交换机上进行了测试。我们通过编写几个非平凡的OpenFlow控制器来演示我们的方法。 主页： https://dl.acm.org/citation.cfm？id=1946339 相关软件： NetKAT公司；狂热的；伊莎贝尔/伊萨尔；名义伊莎贝尔；伊莎贝尔；伊萨尔；AProVE公司；SDN-安全检查；莫德；SGS公司；SDSNM公司；开放流SIA；Flowfence公司；TDDAD公司；FADM公司；JESS公司；StateSec（状态秒）；柳；泛光灯；芳香 引用于： 4文件 全部的 前5名9位作者引用 1 规矩点，桑尼 1 乔治亚娜·卡尔泰斯 1 哈维尔·迪亚兹 1 沃尔夫冈·杰利奇 1 金·古德斯特兰·拉森 1 斯特凡·施密德 1 贾格迪普·辛格 1 昆卡罐Tunç 1 薛冰田 2篇连载文章中引用 1 计算机科学评论 1 程序设计中的逻辑与代数方法杂志 在2个字段中引用 4 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文