Skip to content

A verified protocol buffer compiler.

Qianchuan Ye, Benjamin Delaware

VenueBCPP
Year2019
ProceedingsCPP

Browse the full CPP paper archive.