Vertaling van "Statische Programmanalysen" 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.
Statische Programmanalysen für Java sehen sich mit vielen Problemen konfrontiert, wenn das zu analysierende Programm dynamische Features benutzt, wie etwa handgeschriebene Class Loaders oder Reflection: Wie kann die statische Analyse herausfinden, welche Methoden das Programm über Reflection aufruft?
Static program analyses and transformations for Java face many problems when analyzing programs that use reflection or custom class loaders: How can a static analysis know which reflective calls the program will execute?
Statische Programmanalysen werden von uns mittels des in Abbildung \reffig:gravity dargestellten GRaViTY-Fameworks durchgeführt.
We perform static program analyses with the GRaViTY framework shown in figure \reffig:gravity.
Datenfluss-basierte statische Programmanalysen benötigen Informationen zu den an einer Programmstelle eintreffenden gültigen Definitionen.
Dataflow-based static program analyses need to know the reaching definitions arriving at the program's statements.
Durch die Einbettung von XML und XML Anfragesprachen in gängige Programmiersprachen für Sensorennetzwerke sowie durch statische Programmanalysen wollen wir den Speicherplatzbedarf von XML so verringern, dass im Idealfall der XML Overhead ganz eliminiert wird und somit die Benutzung von XML in Sensorennetzwerken ermöglicht wird.
We want to reduce the memory requirements or even eliminate the XML overhead by embedding XML and XML query languages in widely used programming languages for sensor networks and by a static program analysis. Continuous queries: Querying sensor networks usually results in long time active in-network queries.
Clara (CompiLe-time Approximation of Runtime Analyses) ist ein neuartiges Rahmenwerk für die Implementierung von Hybriden Typestate Analysen. Clara nutzt statische Programmanalysen, um Laufzeitmonitore für reguläre Sprachen ("Typestate properties") partiell statisch auszuwerten.
Clara (CompiLe-time Approximation of Runtime Analyses) is a novel research framework for the implementation of hybrid typestate analyses, which use static analyses to partially evaluate runtime monitors for typestate properties.
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 Programmanalysen in het Duits
