P4R-Type: A Verified API for P4 Control Plane Programs.

Jens Kanstrup Larsen Roberto Guanciale Philipp Haller Alceste Scalas

Published in: Proc. ACM Program. Lang. (2023)

Keyphrases

control program
databases
control system
optimal control
control method
real time
information systems
knowledge base
three dimensional
source code
third party
programming environment
control structures