PLDB
Languages Features Calendar CSV Lists Blog About Sponsor Add Language
GitHub icon

P位鈲礜K

P位鈲礜K

< >

P位鈲礜K is a programming language created in 2020.

#3176on PLDB 2Years Old 0Books
0Papers

This work presents P位鈲礜K, 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.


pl-x.html 路 plunk.html 路 popasm.html

View source

PLDB - Build the next great programming language 路 v2022 Day 93 Docs Build Acknowledgements Traffic Today Traffic Trends Mirrors GitHub feedback@pldb.com