J.F. <j...@p...onet.pl> wrote:
> U?ytkownik "Marek" napisa? w wiadomo?ci grup
> dyskusyjnych:a...@n...neos
trada.pl...
> >Troch? hermetyczne, ale co tam:
> >https://hackernoon.com/so-you-think-you-know-c-8d4e
2cd6f6a6#.nd8iw4g4r
>
> Podsumowanie jest ciekawe:
>
> "The pivoting moment came in 2013, when I?ve got myself involved with
> some safety critical PLC programming. It was a research project in
> nuclear power plant automation, where absolutely no underspecification
> was tolerable. I had to learn that, while I did knew a lot about C
> programming, absolute majority of what I knew was false. And I had to
> learn it the hard way too"
>
> Ale ... jak sprawdzic kompilator i wszystkie biblioteki, czy dzialaja
> zgodnie ze standardem ?

Kompilator: compcert.inria.fr/

Na bibliteki trzeba uwazac -- jesli nie masz dowodu ze sa poprawne
to musisz sam napisac (bibliteke+dowod).


--
Waldek Hebisch