Frenetic

DOI10.1145/2034773.2034812zbMath1323.68114OpenAlexW4234045312MaRDI QIDQ5176982

No author found.

Publication date: 5 March 2015

Published in: Proceedings of the 16th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2034773.2034812

zbMATH Keywords

domain-specific languagesfunctional reactive programmingOpenFlownetwork programming languages

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Related Items (4)

Model Checking Data Flows in Concurrent Network Updates ⋮ Detection and mitigation of DDoS attacks in SDN: a comprehensive review, research challenges and future directions ⋮ Probabilistic NetKAT ⋮ Explaining safety failures in NetKAT

Uses Software

• Frenetic

This page was built for publication: Frenetic