4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.PL2026
Weighted NetKAT: A Programming Language For Quantitative Network Verification
Emmanuel Suárez Acevedo, Tiago Ferreira, Kevin Batz +3
We introduce weighted NetKAT, a domain-specific language for modeling and verifying quantitative network properties. The language is parametric on a semiring, enabling the treatmen…
cs.PL2023★ 4 cited
Effects and Coeffects in Call-By-Push-Value (Extended Version)
Cassia Torczon, Emmanuel Suárez Acevedo, Shubh Agrawal +2
Effect and coeffect tracking integrate many types of compile-time analysis, such as cost, liveness, or dataflow, directly into a language's type system. In this paper, we investiga…