Why i came back to Ada Academic Article uri icon


  • After the Air Force Academy switched its curriculum to Java, I extracted myself from the Ada community and moved on to other research interests, particularly computer security. In this talk, I'll explain the new developments that brought me back to Ada and how Ada and SPARK may be a secret weapon in the 21st century.

published proceedings

  • ACM SIGAda Ada Letters

author list (cited authors)

  • Carlisle, M. C.

citation count

  • 0

complete list of authors

  • Carlisle, Martin C

publication date

  • November 2011