Fail-Safe C?

[Zach]

Has anyone seen this, seems pretty cool:

http://www.rcis.aist.go.jp/project/FailSafeC-en.html
https://staff.aist.go.jp/y.oiwa/FailSafeC/index-en.html
https://trac.rcis.jp/FailSafeC/

Zach

 

[CBFalconer]

Has anyone seen this, seems pretty cool:

http://www.rcis.aist.go.jp/project/FailSafeC-en.html
https://staff.aist.go.jp/y.oiwa/FailSafeC/index-en.html
https://trac.rcis.jp/FailSafeC/

I suggest you investigate Ada.

 

[John Bode]

I suggest you investigate Ada.

Now that's just *mean*.

 

[Richard]

Now that's just *mean*.

Why? Ada paved the way for many innovations. It is a nice language.