Eine Sammlung verwandter Programmierfunktionen, die eine Reihe abstrakter Datentypen, mathematischer Funktionen oder anderer übergeordneter Analysealgorithmen implementieren, damit sie von anderen Programmen verwendet und wiederverwendet werden können.