Skip to content

Clog: A Declarative Language for C Static Code Checkers.

Alexandru Dura, Christoph Reichenbach

VenueBCC
Year2024
ProceedingsCC

Browse the full CC paper archive.