6 citations · 24 across the 16 of their papers we have counts for
11 papers · 1 filter
Coding Guidelines and Undecidability
Roberto Bagnara, Abramo Bagnara, Patricia M. Hill
The C and C++ programming languages are widely used for the implementation of software in critical systems. They are complex languages with subtle features and peculiarities that m…
A Rationale-Based Classification of MISRA C Guidelines
Roberto Bagnara, Abramo Bagnara, Patricia M. Hill
MISRA C is the most authoritative language subset for the C programming language that is a de facto standard in several industry sectors where safety and security are of paramount…
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…
The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software
Roberto Bagnara, Abramo Bagnara, Patricia M. Hill
The MISRA project started in 1990 with the mission of providing world-leading best practice guidelines for the safe and secure application of both embedded control systems and stan…
Proceedings of the 17th Workshop on Logic-based methods in Programming Environments (WLPE 2007)
Patricia Hill, Wim Vanhoof
This volume contains the papers presented at WLPE 2007: the 17th Workshop on Logic-based Methods in Programming Environments on 13th September, 2007 in Porto, Portugal. It was held…
A Prolog-based Environment for Reasoning about Programming Languages (Extended abstract)
Roberto Bagnara, Patricia Hill, Enea Zaffanella
ECLAIR is a Prolog-based prototype system aiming to provide a functionally complete environment for the study, development and evaluation of programming language analysis and imple…