wSPPs compactly compute weighted NetKAT semantics over any semiring, including Kleene star, and trace-carrying Pareto semirings add witness paths for multi-objective trade-offs.
Somasundaram and John S
1 Pith paper cite this work, alongside 7 external citations. Polarity classification is still indexing.
1
Pith paper citing it
7
external citations · OpenAlex
fields
cs.PL 1years
2026 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
A Fast Quantitative Analyzer for NetKAT
wSPPs compactly compute weighted NetKAT semantics over any semiring, including Kleene star, and trace-carrying Pareto semirings add witness paths for multi-objective trade-offs.