-
Enhancing the Compilation of Synchronous Dataflow Programs with a Combined Nu...
Last version = author version of our CSI Journal of Computer Paper (same title and same content) -
Certification of static analysis in many-sorted first-order logic
Static program analysis is a core technology for both verifying and finding errors in programs but most static analyzers are complex pieces of software that are not...
