Commit 24597393 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[Pub] Add publication "the dog pursuit"

parent 0960762c
Pipeline #39635 passed with stages
in 9 minutes and 28 seconds
plugin: "general"
authors: "Patrick Baudin, François Bobot, David Bühler, Loïc Correnson, Florent Kirchner, Nikolai Kosmatov, André Maroneze, Valentin Perrelle, Virgile Prevosto, Julien Signoles and Nicky Williams "
title: "The Dogged Pursuit of Bug-Free C Programs: The Frama-C Software Analysis Platform"
book: "Communications of the ACM, Vol. 64, No. 8"
link: ""
year: 2021
category: foundational
The C programming language is a cornerstone of computer science. Designed by
Dennis Ritchie and Ken Thompson at Bell Labs as a key element of Unix
engineering, it was rapidly adopted by system-level programmers for its
portability, efficiency, and relative ease of use compared to assembly
languages. Nearly 50 years after its creation, it is still widely used in
software engineering.
<div class="videoHead wrap">
width="560" height="315" frameborder="0" allowfullscreen
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment