狂热的 swMATH ID: 16270 软件作者： Foster，N.、Harrison，R.、Freedman，M.J.、Monsanto，C.、Rexford，J.、Story，A.、Walker，D。 描述： Frenetic：一种网络编程语言。现代网络提供各种相互关联的服务，包括路由、流量监控、负载平衡和访问控制。不幸的是，用于编程当今网络的语言缺乏现代功能——它们通常是在底层硬件提供的低抽象级别上定义的，它们甚至不能为模块化编程提供基本支持。因此，网络程序往往很复杂、容易出错且难以维护。本文介绍了Frenetic，一种用于编程分布式网络交换机集合的高级语言。Frenetic提供了一种用于分类和聚合网络流量的声明性查询语言，以及一个用于描述高级包转发策略的功能性反应组合器库。与该领域以前的工作不同，这些构造在设计上是完全组合的，这有助于模块化推理并实现代码重用。Frenetic的新型运行时系统支持这一重要属性，该系统管理与物理交换机上安装、卸载和查询低级数据包处理规则相关的所有详细信息。总的来说，本文有三个主要贡献：（1）我们分析了网络编程语言的现状，并确定了关键的局限性；（2） 我们提出了一种解决这些局限性的语言设计，使用了一系列示例来激励和验证我们的选择；（3） 我们描述了该语言的一个实现，并在几个基准上评估了其性能。 主页： http://dl.acm.org/citation.cfm？id=2034812 相关软件： NetKAT公司；荨麻；VeriCon公司；VeriFlow公司；SDN安全检查；AProVE公司；莫德；SGS公司；SDSNM公司；开放流SIA；Flowfence公司；TDDAD公司；FADM公司；JESS公司；StateSec（状态秒）；柳；泛光灯；芳香；坎杜；超流（HyperFlow） 引用于： 7文件 全部的 前5名被21位作者引用 2 内特·福斯特 2 德克斯特·C·科赞。 1 规矩点，桑尼 1 乔治亚娜·卡尔泰斯 1 伯恩德·芬克贝纳 1 迈克尔·弗里德曼。 1 Manuel Gieseking先生 1 哈里森，罗伯 1 赫金·哈布什，杰斯科 1 金·古德斯特兰·拉森 1 康斯坦蒂诺斯·马穆拉斯 1 克里斯托弗·孟山都 1 奥尔德罗格（Ernst-Rüdiger Olderog） 1 雷特布拉特，马克 1 詹妮弗·雷克斯福德 1 斯特凡·施密德 1 亚历山德拉·席尔瓦 1 贾格迪普·辛格 1 故事，亚历克 1 昆卡罐Tunç 1 薛冰田 2篇连载文章中引用 1 计算机科学评论 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 7 计算机科学（68至XX） 1 数理逻辑与基础（03-XX） 按年份列出的引文