mainSPARK Ada mode for Emacs - Summary

 
 
Membership Info
Project Admin:
1 active member

Group identification
Id: #10655
System Name: spark-ada
Name: SPARK Ada mode for Emacs
Group Type: non-GNU software and documentation

Search in this Group

in
   

This project is not part of the GNU Project.

This is a major mode to edit SPARK Ada source code in Emacs. This mode is based on the Ada mode already provided with Emacs.
SPARK is a formally-defined computer programming language based on the Ada programming language, intended to be secure and to support the development of high integrity software used in applications and systems where predictable and highly reliable operation is essential either for reasons of safety (e.g., avionics in aircraft/spacecraft, or medical systems and process control software in nuclear powerplants) or for business integrity (for example financial software for banking and insurance companies).

Registration Date: Fri 08 Oct 2010 11:32:02 AM UTC
License: GNU General Public License v3 or later
Development Status: 4 - Beta

 

Latest News rss feed

Communication Tools
 Tech Support Manager (open items: 0, total: 0)
  - Browse open items
  - Submit a new item
 Mailing Lists (0 public mailing lists)

Development Tools
 Bug Tracker (open items: 1, total: 5)
  - Browse open items
  - Submit a new item
 Task Manager (open items: 0, total: 0)
  - Browse open items
  - Submit a new item

Back to the top


Powered by Savane 3.3