Developed by Praxis and AdaCore, SPARK is used where correctness is vital for safety or security

October 06, 2009
URL:http://www.drdobbs.com/parallel/spark-programming-language-goes-gpl/220301312

Terms of Service | Privacy Statement | Copyright © 2024 UBM Tech, All rights reserved.