composition rules; Ada programs; data dependency graphs; program development environment; tracking; information flow; primitive program statements; iteration; recursion; exception handling; tasking; correctness; Ada; data structures; programming.
(xsd:string)