×
斯莫尔卡，斯特芬;埃利奥普洛斯、斯皮里顿;内特·福斯特;阿琼·古哈

NetKAT的快速编译器。 （英语） Zbl 1360.68352号

2015年9月1日至3日，加拿大温哥华，ICFP’15，第20届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3669-7）。328-341 (2015).

引用于5文件

MSC公司：

68N20型 编译与解释理论
第68页第19页 其他编程范式（面向对象、顺序、并发、自动等）
65年第68季度 形式语言和自动机

关键词：

狂热的;带测试的Kleene代数;NetKAT公司;软件定义的网络;二元决策图;特定领域的语言;虚拟化

软件：

CoVisor公司;NetKAT公司
PDF格式BibTeX公司 XML格式引用
\textit{S.Smolka}等人，in：第20届ACM SIGPLAN函数编程国际会议论文集，ICFP’15，加拿大温哥华，2015年9月1日至3日。纽约州纽约市：计算机协会（ACM）。328--341（2015；Zbl 1360.68352）
全文： 内政部 arXiv公司