Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
CompCert C compiler
Examples with "CompCert C compiler" and their translation in Duits
Using the CompCert C compiler is a natural complement to applying formal verification techniques (static analysis, program proof, model checking) at the source-code level.
Der Einsatz von CompCert ist die logische Fortführung des Einsatzes formaler Verifikation (statische Analyse, Model-Checking) auf der Quellcode-Ebene.
Once your C code is error-free, you can use our formally verified optimizing C compiler CompCert to guarantee that all safety properties verified on the source code also hold for the generated executable.
Alle Sicherheitseigenschaften, die Sie mit Astrée für Ihren C-Code nachgewiesen haben, können Sie verlustfrei auf Ihren Binärcode übertragen, indem Sie unseren formal verifizierten Compiler CompCert benutzen.
CompCert is a formally verified optimizing C compiler.
CompCert ist ein formal verifizierter optimierender C-Compiler.
CompCert is a formally verified optimizing C compiler for safety-critical and mission-critical software.
CompCert ist ein formal verifizierter optimierender C-Compiler.
It can be compiled with the Microsoft Visual C++ Compiler; it's also possible to compile it with the MinGW Compiler.
Er kann mit dem Microsoft Visual C++ Compiler übersetzt werden; es ist auch möglich, ihn mit dem MinGW Compiler zu übersetzen.
The resulting code is converted to C and compiled using a C compiler.
Der daraus entstehende Code wird nach C konvertiert und mithilfe eines C-Compilers kompiliert.
Source code needs to be compiled using a C++ compiler.
Quellcode muss mit einem C++ Compiler kompiliert werden.
A new portable optimizing C compiler has compiled itself and may be released this year.
Ein neuer, portabler, optimierender C-Compiler hat sich selbst kompiliert und könnte dieses Jahr herausgegeben werden.
The generated C code is easily integrated into your C compiler, and then compiled with the associated library.
Code-Erzeugung Der erzeugte C-Code wird einfach in Ihren C-Compiler eingebunden und anschließend mit der zugehörigen Bibliothek kompiliert.
The implementation is built on ARSAPI for C and includes a Compiler and an Interpreter for the compiled code.
Die Implementierung von ARS++ basiert auf ARSAPI für C und schließt einen Compiler sowie einen Interpreter für den kompilierten Code ein.
Thus very soon Crosscompiling will be at our disposal on many different platforms, for example AmigaOS/MorphOS, MacOS X etc. vbcc can be compiled without any changes for each platform on which an Ansi-C compiler is in existence.
Damit wird uns sehr bald Crosscompiling auf vielen unterschiedlichen Plattformen zur Verfügung stehen, beispielsweise AmigaOS/MorphOS, MacOS X usw. - vbcc kann für jede Plattform auf der ein Ansi-C Kompiler zur Verfügung steht, ohne Änderungen kompiliert werden.
The PROFINET Protocol Stack is completely written in ANSI-C and can be compiled with every ANSI-C compliant compiler.
Der PROFINET Protokoll Stack wurde vollständig in ANSI-C erstellt und kann somit problemlos mit allen ANSI-C kompatiblen Kompilern übersetzt werden.
If more performance is needed, the interactively developed macros can be compiled using a C++ compiler.
Wenn Sie mehr Leistung benötigen, können Sie die (interaktiv entwickelten) Makros mit einem C++-Compiler übersetzen.
Synoniemen voor CompCert C compiler in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 45137. Exact: 0. Verstreken tijd: 344 ms.
