Vertaling van "Statische Programmanalyse" in Engels
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
static program analysis
Statische Programmanalyse zum Beweis von Sicherheitseigenschaften oder zum Entdecken von Fehlern zielt normalerweise auf Quelltext ab, in vielen potentiellen Analyseszenarien ist jedoch nur eine Binärdatei verfügbar.
While static program analysis for proving safety properties or finding bugs usually targets source code, in many potential analysis scenarios only a binary is available.
Es wurde diverse Werkzeuge für das Internet, für die Strukturierung und Dokumentation von Quellcode und für die statische Programmanalyse entwickelt.
We developed several tools for the Internet, for structuring and documenting source code and for static program analysis.
Die Forschungsschwerpunkte Wilhelms umfassen Programmiersprachen, Übersetzerbau, statische Programmanalyse, eingebettete Echtzeitsysteme und die Animation und Visualisierung von Algorithmen und Datenstrukturen.
Wilhelm's research focuses on programming languages, compiler construction, static program analysis and embedded real time systems, but also includes animation and visualization of algorithms and data structures.
Jörg Herter arbeitet als leitender technischer Berater bei AbsInt und hält regelmäßig Vorlesungen über statische Programmanalyse, eingebettete Systeme und Übersetzerbau an der Hochschule für Technik und Wirtschaft des Saarlandes sowie an der Universität Luxemburg.
Jörg Herter works as a Senior Technical Consultant for AbsInt. He teaches static program analysis, embedded systems technology, compiler construction, and mathematics at the Saarland University of Applied Sciences and Cooperative Education.
Kurzfassung auf Englisch: Kurzfassung auf Deutsch: Wir präsentieren eine unübliche Herangehensweise an Algorithmenvisualisierung, die auf Shape Analyse basiert, eine statische Programmanalyse, die bisher hauptsächlich zum Verifizieren von Programmeigenschaften verwendet wurde.
Shape Analyse für Algorithmen Animation: We present a non-traditional approach to algorithm visualization that is based on shape analysis, a static programm analysis, that so far has benn mostly used to verify program properties.
Steffen Jost stellt eine neuartige statische Programmanalyse vor, welche vollautomatisch Schranken an den Verbrauch quantitativer Ressourcen berechnet.
Steffen Jost researched a novel static program analysis that automatically infers formally guaranteed upper bounds on the use of compositional quantitative resources.
Steffen Jost stellt eine neuartige statische Programmanalyse vor, welche vollautomatisch Schranken an den Verbrauch quantitativer Ressourcen berechnet. Die Grundidee basiert auf der Technik der Amortisierten Komplexitätsanalyse, deren nicht-triviale Automatisierung durch ein erweitertes Typsystem erreicht wird.
Text researched a novel static program analysis that automatically infers formally guaranteed upper bounds on the use of compositional quantitative resources. The technique is based on the manual amortised complexity analysis. Inference is achieved through a type system annotated with linear constraints.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
Er zijn geen resultaten gevonden voor deze term.
Synoniemen voor Statische Programmanalyse in het Duits
