Developed by Praxis and AdaCore, SPARK is used where correctness is vital for safety or security
October 06, 2009
URL:http://www.drdobbs.com/security/spark-programming-language-goes-gpl/220301312
Terms of Service | Privacy Statement | Copyright © 2024 UBM Tech, All rights reserved.