Gibt es (statische) Systeme, die versuchen, die Leistungsmerkmale von Programmen zu formalisieren? Ich kann solche Versuche anscheinend nicht finden. Da Typsysteme (eines der) mächtigsten Werkzeuge im Arsenal des Programmierers sind, um Aussagen über Programme zu treffen, und da es viele Fälle...