Why i came back to Ada Academic Article uri icon

abstract

  • 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.

author list (cited authors)

  • Carlisle, M. C.

publication date

  • January 1, 2011 11:11 AM