Ada Info

Ada/SPARKに関する有益な情報です.

Web:

  • Ada University (Ada/SPARK を学ぶためのスライドが用意されています)

http://university.adacore.com/

  • ユーザガイド

http://docs.adacore.com/spark2014-docs/html/ug/index.html

https://www.adacore.com/papers/spark-2014-users-guide-japanese

  • Make with Ada

https://www.makewithada.org/

  • AdaIC

http://www.adaic.org/