Programmtransformation

См. также в других словарях:

• Fixpunktsatz von Kleene — Der Rekursionssatz oder Fixpunktsatz von Kleene ist ein Satz in der Theoretischen Informatik, genauer der Berechenbarkeitstheorie. Er handelt von der algorithmischen Modifikation von Programm Quelltexten. Im Satz kommt ein Programm f vor, das,… …   Deutsch Wikipedia

• Pseudo-Code — Pseudocode ist eine sprachliche Mischung aus natürlicher Sprache, mathematischer Notation und einer höheren Programmiersprache. Wie Flussdiagramme und Nassi Shneidermann Diagramme ist auch Pseudocode eine Möglichkeit um Algorithmen darzustellen.… …   Deutsch Wikipedia

• Pseudocode — ist Programmcode, der nicht zur maschinellen Interpretation, sondern lediglich zur Veranschaulichung eines Paradigmas oder Algorithmus dient. Meistens ähnelt er natürlicher Sprache und höheren Programmiersprachen. Mit Pseudocode kann ein… …   Deutsch Wikipedia

• Pseudokode — Pseudocode ist eine sprachliche Mischung aus natürlicher Sprache, mathematischer Notation und einer höheren Programmiersprache. Wie Flussdiagramme und Nassi Shneidermann Diagramme ist auch Pseudocode eine Möglichkeit um Algorithmen darzustellen.… …   Deutsch Wikipedia

• Rekursionssatz — Der Rekursionssatz oder Fixpunktsatz von Kleene ist ein Satz in der Theoretischen Informatik, genauer der Berechenbarkeitstheorie. Er handelt von der algorithmischen Modifikation von Programm Quelltexten. Im Satz kommt ein Programm f vor, das,… …   Deutsch Wikipedia

• Scheincode — Pseudocode ist eine sprachliche Mischung aus natürlicher Sprache, mathematischer Notation und einer höheren Programmiersprache. Wie Flussdiagramme und Nassi Shneidermann Diagramme ist auch Pseudocode eine Möglichkeit um Algorithmen darzustellen.… …   Deutsch Wikipedia

• IFB091 — H. Stoyan: Maschinen unabhängige Code Erzeugung als semantikerhaltende beweisbare Programmtransformation, 1984 …   Acronyms

• IFB091 — H. Stoyan: Maschinen unabhängige Code Erzeugung als semantikerhaltende beweisbare Programmtransformation, 1984 …   Acronyms von A bis Z