Axiomatische Semantik oor Engels
Axiomatische Semantik
Vertalings in die woordeboek Duits - Engels
axiomatic semantics
en
approach based on mathematical logic for proving the correctness of computer programs; closely related to Hoare logic; define the meaning of a command in a program by describing its effect on assertions about the program state
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
Axiomatische Semantik: die Formalisierung durch Korrektheitsbehauptungen, die es uns erlauben, Schlüsse über das Eingabe/Ausgabe-Verhalten von Programmen zu ziehen.
Best not to believe anythingParaCrawl Corpus ParaCrawl Corpus
Beweis der Äquivalenz von denotationaler und operationaler Semantik einer einfachen imperativen Programmiersprache; Beweis der Korrektheit der axiomatischen Semantik anhand der denotationalen Semantik.
The calculation of the individual average demand should not consider years during which the respective undertaking did not use controlled substances as process agentParaCrawl Corpus ParaCrawl Corpus
Beweis der Äquivalenz von denotationaler und operationaler Semantik einer einfachen imperativen Programmiersprache; Beweis der Korrektheit der axiomatischen Semantik anhand der denotationalen Semantik.
Now that we are here in this place together, you feel obliged to tell me what to do with mylifeParaCrawl Corpus ParaCrawl Corpus
Dazu beschreiben wir detailliert die Formalisierung mit Abstrakter Syntax, Typsystem und der Operationellen Semantik sowie ein Anwendungsbeispiel, geben einen Beweis der Typsicherheit, entwickeln eine Axiomatische Semantik und beweisen deren Korrektheit und Vollständigkeit.
That is to say, there' s no record of a Colonel Cameron Mitchell fitting your description currently in the U. S. Air Force, or anywhere else, for that matterParaCrawl Corpus ParaCrawl Corpus
Konsistente Semantiken (denotationale, operationale und axiomatische) für diese Prozess-Algebra werden angegeben.
He' s beating him to a pulp.- I don' t think he' s hurting himParaCrawl Corpus ParaCrawl Corpus
Von besonderem Interesse sind Fragestellungen und Probleme der Konzeptualisierung von Wissen, der Wissensrepräsentation, der Verallgemeinerung und Vertiefung der axiomatisch-deduktiven Methode, der deskriptiven Metaphysik, der Semantik der natürlichen Sprache und der praktischen Anwendungen im Bereich der Medizin.
The guy was resistingParaCrawl Corpus ParaCrawl Corpus
6 sinne gevind in 5 ms. Hulle kom uit baie bronne en word nie nagegaan nie.