Pλ⍵NK is an actively used programming language created in 2020. This work presents Pλ⍵NK, a functional probabilistic network programming language that extends Probabilistic NetKAT (PNK). Like PNK, it enables probabilistic modelling of network behaviour, by providing probabilistic choice and infinite iteration (to simulate looping network packets). Yet, unlike PNK, it also offers abstraction and higher-order functions to make programming much more convenient.
- Pλ⍵NK first appeared in 2020
- Have a question about Pλ⍵NK not answered here? Email me and let me know how I can help.
Last updated August 9th, 2020