%0 Journal Article %1 journals/pacmpl/LarsenGHS23 %A Larsen, Jens Kanstrup %A Guanciale, Roberto %A Haller, Philipp %A Scalas, Alceste %D 2023 %J Proc. ACM Program. Lang. %K dblp %N OOPSLA2 %P 1935-1963 %T P4R-Type: A Verified API for P4 Control Plane Programs. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl7.html#LarsenGHS23 %V 7

@article{journals/pacmpl/LarsenGHS23, added-at = {2023-12-10T00:00:00.000+0100}, author = {Larsen, Jens Kanstrup and Guanciale, Roberto and Haller, Philipp and Scalas, Alceste}, biburl = {https://www.bibsonomy.org/bibtex/2b06edee882d1ae4333744b3c22483a7f/dblp}, ee = {https://doi.org/10.1145/3622866}, interhash = {9e1c1c0c442c190ed63c35aae275b257}, intrahash = {b06edee882d1ae4333744b3c22483a7f}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, month = {October}, number = {OOPSLA2}, pages = {1935-1963}, timestamp = {2024-04-08T09:54:45.000+0200}, title = {P4R-Type: A Verified API for P4 Control Plane Programs.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl7.html#LarsenGHS23}, volume = 7, year = 2023 }