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ł).