activity
20012023
most citedPURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis

21 citations · 78 across the 23 of their papers we have counts for

collaborators
Showing 2020 · cs.PLShow all

1 paper · 2 filters

cs.PL2020★ 2 cited

BARR-C:2018 and MISRA C:2012: Synergy Between the Two Most Widely Used C Coding Standards

Roberto Bagnara, Michael Barr, Patricia M. Hill

The Barr Group's Embedded C Coding Standard (BARR-C:2018, which originates from the 2009 Netrino's Embedded C Coding Standard) is, for coding standards used by the embedded system…