<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="de">
	<id>https://wiki-de.moshellshocker.dns64.de/index.php?action=history&amp;feed=atom&amp;title=Programmanalyse</id>
	<title>Programmanalyse - Versionsgeschichte</title>
	<link rel="self" type="application/atom+xml" href="https://wiki-de.moshellshocker.dns64.de/index.php?action=history&amp;feed=atom&amp;title=Programmanalyse"/>
	<link rel="alternate" type="text/html" href="https://wiki-de.moshellshocker.dns64.de/index.php?title=Programmanalyse&amp;action=history"/>
	<updated>2026-05-20T08:36:42Z</updated>
	<subtitle>Versionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale Kopie</subtitle>
	<generator>MediaWiki 1.43.8</generator>
	<entry>
		<id>https://wiki-de.moshellshocker.dns64.de/index.php?title=Programmanalyse&amp;diff=174773&amp;oldid=prev</id>
		<title>imported&gt;Aka: Bindestrich mitverlinkt</title>
		<link rel="alternate" type="text/html" href="https://wiki-de.moshellshocker.dns64.de/index.php?title=Programmanalyse&amp;diff=174773&amp;oldid=prev"/>
		<updated>2018-01-19T11:31:42Z</updated>

		<summary type="html">&lt;p&gt;Bindestrich mitverlinkt&lt;/p&gt;
&lt;p&gt;&lt;b&gt;Neue Seite&lt;/b&gt;&lt;/p&gt;&lt;div&gt;Die &amp;#039;&amp;#039;&amp;#039;Programmanalyse&amp;#039;&amp;#039;&amp;#039; beschäftigt sich mit Methoden zur (automatischen) Analyse von [[Computerprogramm]]en. &lt;br /&gt;
&lt;br /&gt;
Die Methoden der Programmanalyse erlauben [[Programmierer]]n ein besseres Verständnis komplexer Programme, ebenso werden sie in den von [[Compiler|Übersetzern]] und [[Interpreter]]n genutzten [[Programmoptimierung|Optimierungsverfahren]] angewendet. Die Abhängigkeiten zwischen [[Unterprogramm]]en anhand Verwendungsnachweis und Aufrufstruktur können ermittelt und in einem statischen [[Aufrufbaum]] angezeigt werden. &lt;br /&gt;
&lt;br /&gt;
Wichtige Methoden sind:&lt;br /&gt;
* [[Abstrakte Interpretation]]&lt;br /&gt;
* [[Constraint-basierte Analyse]]&lt;br /&gt;
* [[Datenflussanalyse]]&lt;br /&gt;
* [[Typsystem|Typ-]] und Effektsysteme&lt;br /&gt;
&lt;br /&gt;
== Siehe auch ==&lt;br /&gt;
* [[Abhängigkeitsanalyse]]&lt;br /&gt;
* [[Statische Code-Analyse]]&lt;br /&gt;
&lt;br /&gt;
== Literatur ==&lt;br /&gt;
&lt;br /&gt;
* Flemming Nielson, Hanne R. Nielson, Chris Hankin: &amp;#039;&amp;#039;Principles of Program Analysis&amp;#039;&amp;#039;, Springer, 1999, ISBN 3-540-65410-0, [http://www.imm.dtu.dk/~riis/PPA/ppa.html Webseite zum Buch]&lt;br /&gt;
&lt;br /&gt;
[[Kategorie:Programmierung]]&lt;/div&gt;</summary>
		<author><name>imported&gt;Aka</name></author>
	</entry>
</feed>