arvuti ja opsüsteemi struktuurist sõltumatu, sümbolnimesid võimaldav ning andmestruktuuride ja programmi loogika väljendamist hõlbustav programmikeel