2526702934

> there's an incredibly safe and expressive language that's used in high-reliability applications like missile guidance systems, that nobody seems to talk about.

Maybe because they assume that it's only used for that purpose? You talk about rocket science and you expect people to jump on the bandwagon...

Can someone explain to me how ARM expect to protect its IP if it doesn't publish anything about it?

I was under the impression that in order to protect IP, one has to either patent it or copyright it, thus some form of publication must be made. If ARM does publish technical documentation (1), ARM has a way to prove infrigement or prior art whenever someone else tries to use their IP without their approval. If ARM doesn't, how can they prove anything?

(1) Obviously, if they publish the tech. docs, they might as well help driver implementors, might they not?