Stem kat$ (all stems)

4 papers:

ICFP-2015-SmolkaEFG #compilation #performance

A fast compiler for NetKAT (SS, SAE, NF, AG), pp. 328–341.

POPL-2015-FosterKM0T #algebra

A Coalgebraic Decision Procedure for NetKAT (NF, DK, MM, AS, LT), pp. 343–355.

LICS-CSL-2014-GrathwohlKM #exclamation

KAT + B! (NBBG, DK, KM), p. 10.

SAC-1999-LuR #functional #information management #knowledge base #named #principle

KAT: A Knowledge Acquisition Tool for Acquiring Functional Knowledge Based Upon the No-Causality-In-Functional Principle (CL, DJR), pp. 8–13.