Programmanalyse
Sign in to saveAlso known as software analysis, computer program analysis, analysis of programs, analysis of computer programs, analysis of software
process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety, or liveness
In the Vinony graph
Vinony's link graph records 89 inbound references to Programmanalyse, and connects out to operational semantics, software development process and formal verification.
It is catalogued under the topic Program analysis.
Vinony links it to 10 Wikipedia language editions.
Wikidata facts
- Subclass of
- analysis
Show 5 more facts
- topic's main category
- Category:Program analysis
- ACM Classification Code (2012)
- 10010143
- Commons category
- Program analysis
- uses
- computer program
- class of object(s) of occurrence
- computer program
via Wikidata · CC0
Article · Deutsch
Die Programmanalyse beschäftigt sich mit Methoden zur (automatischen) Analyse von Computerprogrammen. Die Methoden der Programmanalyse erlauben Programmierern ein besseres Verständnis komplexer Programme, ebenso werden sie in den von Übersetzern und Interpretern genutzten Optimierungsverfahren angewendet. Die Abhängigkeiten zwischen Unterprogrammen anhand Verwendungsnachweis und Aufrufstruktur können ermittelt und in einem statischen angezeigt werden. Wichtige Methoden sind: * Abstrakte Interpretation * * Datenflussanalyse * Typ- und Effektsysteme
Abstract from DBpedia / Wikipedia · CC BY-SA