Patricia M. Hill | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Roberto Bagnara
9 publications
Abramo Bagnara
5 publications
Michael Barr
1 publication

research

∙ 12/28/2022

Coding Guidelines and Undecidability

The C and C++ programming languages are widely used for the implementati...

0 Roberto Bagnara, et al. ∙

research

∙ 12/23/2021

A Rationale-Based Classification of MISRA C Guidelines

MISRA C is the most authoritative language subset for the C programming ...

0 Roberto Bagnara, et al. ∙

research

∙ 03/15/2020

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

The Barr Group's Embedded C Coding Standard (BARR-C:2018, which originat...

0 Roberto Bagnara, et al. ∙

research

∙ 09/04/2018

The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software

The MISRA project started in 1990 with the mission of providing world-le...

0 Roberto Bagnara, et al. ∙