Nvidia drives Ada and SPARK into driverless cars(eenewseurope.com)
eenewseurope.com
Nvidia drives Ada and SPARK into driverless cars
https://www.eenewseurope.com/en/nvidia-drives-ada-and-spark-into-driverless-cars/
2 comments
Also see
Ada and SPARK enter the automotive ISO-26262 market with Nvidia (adacore.com)
112 points | by gneuromante | 3 days ago | 108 comments
https://news.ycombinator.com/item?id=44184861
Ada and SPARK enter the automotive ISO-26262 market with Nvidia (adacore.com)
112 points | by gneuromante | 3 days ago | 108 comments
https://news.ycombinator.com/item?id=44184861
Here is a paragraph from the article:
“Adopting a new programming language involves deploying a new environment, training teams to a new formalism, adapting programming patterns and many other issues. However, from a process standpoint, programming languages are vastly interchangeable, but Ada and SPARK is a different story.”