Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
Programmiersprache formal
Examples with "Programmiersprache formal" and their translation in Engels
Es stellt sich allerdings noch immer problematisch dar, für Implementierungen in einer unstrukturierten Programmiersprache formal nachzuweisen, dass diese sich korrekt hinsichtlich einer abstrakten Spezifikation verhalten und auch deren Eigenschaften bewahren.
However, it is still a challenging task to establish that implementations given in an unstructured low-level programming language correctly implement the respective process-algebraic specifications.
Andere resultaten
Aber nicht nur Programmiersprachen sind formal.
But not only programming languages are formal.
Programmierer müssen normalerweise eine formale textuelle Programmiersprache erlernen, die voller abstrakter Konzepte steckt wie Variablen, Prozeduren, Kontrollfluß, Datenstrukturen, Modularität und Rekursion.
Programmers usually have to learn a formal textual programming language full of difficult abstract concepts like variables, procedures, flow of control, data structures, modularity, and recursion.
Die Charakterisierung eines Computers als abstrakte Maschine wird noch klarer, wenn man beobachtet, dass jede mögliche Programmiersprache ausschließlich formal ist, d.h. sie völlig mathematisch beschrieben werden kann.
The characterization of a computer as an abstract machine becomes even clearer when one observes that any programming language is strictly formal, that is, it may be fully mathematically described.
87 % der Entwickler haben sich selbst eine neue Programmiersprache außerhalb ihrer formalen Ausbildung beigebracht.
87% of developers have taught themselves a new language outside of their formal education.
Eine Programmiersprache ist eine formale Sprache zur Formulierung von Datenstrukturen und Algorithmen, d. h. von Rechenvorschriften, die von einem Computer ausgeführt werden können.
A programming language is a formal language that specifies a set of instructions that can be used to produce various kinds of output.
SPARK 2014 ist eine formal analysierbare Programmiersprache vor allem für die Entwicklung von Software mit besonders geringer Fehlerrate für kritische Anwendungen, zum Beispiel wenn Sicherheit eine Schlüsselanforderung ist.
SPARK 2014 is a formally analyzable programming language especially suited for developing ultra-low defect software in critical applications, for example where safety and/or security are key requirements.
Ähnlich einer Programmiersprache wird hier eine Schaltung formal beschrieben.
Similar to a programming language a circuit is described formally.
Die formale Korrektheit der Analyse wird für eine funktionale Programmiersprache bewiesen.
The main result is the formal soundness proof of the proposed analysis for a functional language.
Eine neue Programmiersprache zu lernen, bedeutet, sich mit ihrer einzigartigen formalen Sprache vertraut zu machen.
Learning a new programming language involves familiarizing oneself with its unique formal language.
Nivat befasste sich mit Theorie formaler Sprachen, Semantik von Programmiersprachen und diskreter Geometrie.
His research spanned the areas of formal languages, programming language semantics, and discrete geometry.
Der entscheidende Unterschied liegt zwischen menschlichen Sprachen und formalen Sprachen wie Programmiersprachen.
The distinction to be made here is between human languages and formal languages such as programming languages.
MediaWiki Inhalte werden in Wikitext geschrieben, welches eine Markup- und Programmiersprache ist, die sich über acht Jahre lang ohne eine formale Syntax und Semantik entwickelt hat.
Content is written in Wikitext, a markup and programming language that has evolved over eight years without any formal description.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor Programmiersprache formal in het Duits
Resultaten: 33. Exact: 1. Verstreken tijd: 74 ms.
