P4b: A Translator from P4 Programs to Boogie.

Chong Ye Fei He

Published in: ESEC/SIGSOFT FSE (2023)

Keyphrases

artificial neural networks
computer programs
automatic programming
database
computer vision
databases
neural network
software engineering