Programming languages primarily designed to support the development of secure software.
Category:Programming languages