Ein Ada-Programm besteht aus einer Menge von Partitions (siehe auch Kapitel E), von denen jede in einem eigenen Adressraum oder sogar auf einem eigenen Computer ablaufen kann. Jede Partition besteht aus Bibliothekseinheiten (library units) . Bibliothekseinheiten können hierarchisch organisiert werden.