News for hackers. Stuff that matters.

A comment on Resources about programming practices for writing safety-critical software. Parent comment

Re:Resources about programming practices for writing safety-... by jacquesm on Monday March 06, 2017 @04:32PM (#13806247)
Yes, Armstrong's thesis is a very good starting point:

http://erlang.org/download/armstrong_thesis_2003.pdf

[ Parent | on HN ]
Re:Resources about programming practices for writing safety-... by amk_ on Monday March 06, 2017 @11:42PM (#13808322)
The techniques in the conclusions and appendix starting about page 200 are useful in any language
[ Parent | on HN ]
Re:Resources about programming practices for writing safety-... by jacquesm on Tuesday March 07, 2017 @12:47AM (#13808525)
Yes. This goes far beyond Erlang.
[ Parent | on HN ]
Re:Resources about programming practices for writing safety-... by RaiO on Monday March 06, 2017 @05:18PM (#13806574)
Looks great, thanks!
[ Parent | on HN ]