ANSI C

1. Brian Kernighan, D. Ritchie, The ANSI C Programming Language, 2nd Edition

2. Ben Klemens, 21st Century C, O'Reilly 2013

3. Znakomite wykłady prof. Jerry Cain'a ze Stanforda,

http://www.youtube.com/watch?v=Ps8jOj7diA0&list=EC9D558D49CA734A02

w znacznej części poświęcone językowi C (wskaźniki, struktury

danych), ale również Scheme i Pythonowi

4. CERT C Programming Language Secure Coding Standard, Document No. N1255

5. MISRA C

Jest jeszcze jedna książka, o której kiedyś czytałem, że opisuje w

sposób znakomity techniki bezpiecznego programowania w ANSI C w

zastosowaniach związanych z systemami krytycznymi. Jej autor to jakiś

profesor z Wlk. Brytanii, niestety umknęło mi i jego nazwisko i tytuł

książki. Nie odnalazłem.

Ale!

Po pobieżnym zapoznaniu się z pozycjami 2 i 4 z powyższego wykazu

nabrałem przeświadczenia, że opisują one sposoby osiągania pewnej

doskonałości zbliżonej jedynie do tego, co w języku Ada po prostu

jest. Nie mówiąc o SPARK. Dlatego przerwałem studiowanie tych książek.

Zważywszy na fakt, że z poziomu Ady można wykonać wywołanie dowolnej

procedury pisanej w C, w tym - procedur systemowych - nie widzę powodu

stosowania C w nowych projektach, chyba że chodzi o rozszerzenia

systemów już istniejących, np. jądra Linuxa (Torvalds na Adę raczej by

się nie zgodził).