Modula-2
Modula-2 — 1977–1985-ci illərdə Niklaus Virt tərəfindən işlənib hazırlanmış yüksək səviyyəli modullu proqramlaşdırma dili. Pascal dilinin əsasında yaradılmış Modula-2 proqramlaşdırmanın modulluğunu, verilənlərin mücərrədləşdirilməsinin dəstəklənməsi vasitələrini təmin edir, ancaq bəzi standart funksiyalara və prosedurlara malikdir.
Modula-2 dilində hazırlanmış proqram modullar yığınından ibarətdir ki, onların da hər biri ayrılıqda kompilyasiya oluna bilər. Bu zaman proqram modulu iki hissəyə ayrıla bilər (ancaq bu vacib deyil): təyinetmələr modulu və reallaşdırma modulu. Təyinetmələr modulu, modulun xarici interfeysidir, yəni xarici modulların istifadə edə bilməsi üçün onun eksport etdiyi konstatların, dəyişənlərin, tiplərin, prosedur və funksiyaların başlıqlarının yığınıdır. Reallaşdırma modulu proqram kodundan, o cümlədən təyinetmələr modulunda sadalananların konkret təsvirindən ibarətdir. Məsələn, təyinetmələr modulunda hər hansı tipin yalnız adı göstərilə bilər, onun tam strukturu isə reallaşdırma modulunda verilə bilər. Bu halda xarici modullar həmin tipin qiymətlərini yarada, onunla işləyən prosedur və funksiyaları çağıra, dəyişənləri mənimsədə bilər, ancaq qiymətlərin strukturuna birbaşa erişə bilməz, çünki bu struktur təyinetmələr modulunda təsvir olunmayıb. Əgər təyinetmələr modulunda bu tipin strukturunu təsvir etsək, ona erişmək mümkün olacaq. Modula-2 dilində qlobal səviyyəli modullarla yanaşı, lokal modullar da yaratmaq olur.