„Pointer Analysis“

Suchergebnisse

1.000+ Treffer

• Termination analysis of procedural pointer programs modelled by graph grammars
  Khalifa, Mohamed ; Fesefeldt, Ira Justus ; Noll, Thomas ; Katoen, Joost-Pieter 2022 Universitätsbibliothek der RWTH Aachen
• Static Analysis of Pointer Programs - Linking Graph Grammars and Separation Logic
  Jansen, Christina ; Katoen, Joost-Pieter ; Huisman, Marieke ; Noll, Thomas 2017 Universitätsbibliothek der RWTH Aachen
• Implementation of a Predicate-Guided Termination Analysis for Pointer Programs
  Khalifa, Mohamed ; Fesefeldt, Ira Justus ; Noll, Thomas ; Katoen, Joost-Pieter 2020 Universitätsbibliothek der RWTH Aachen
• Function pointer analysis for C programs
  Stattelmann, Stefan 2009 Saarländische Universitäts- und Landesbibliothek
• Dietary consumption trajectory profiles over time of French adults from the NutriNet-Santé cohort (2014–2022): multicriteria analysis of sustainability
  Toujgani, Hafsa ; Wang, Juhui ; Perraud, Elie ; Baudry, Julia ; Berlivet, Justine ; Allès, Benjamin ; Fouillet, Hélène ; Hercberg, Serge ; Touvier, Mathilde ; Lairon, Denis ; Pointereau, Philippe ; Couturier, Christian ; Mariotti, François ; Kesse-Guyot, Emmanuelle
• Static Precision of Instrumented Pointers for Anatomical Landmark Calibration in CAST-Like Motion Analysis Measurements
  Rácz, Kristóf ; Seregély, Beáta ; Kiss, Rita
• Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java
  Späth, Johannes ; Nguyen Quang Do, Lisa ; Ali, Karim ; Bodden, Eric 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A CFL-Reachability Formulation of Callsite-Sensitive Pointer Analysis with Built-In On-The-Fly Call Graph Construction
  He, Dongjie ; Lu, Jingbo ; Xue, Jingling 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Low-Level Bi-Abduction (Artifact)
  Holík, Lukáš ; Peringer, Petr ; Rogalewicz, Adam ; Šoková, Veronika ; Vojnar, Tomáš ; Zuleger, Florian
• 08161 Abstracts Collection – Scalable Program Analysis
  Martin, Florian ; Riis Nielson, Hanne ; Riva, Claudio ; Schordan, Markus
• Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis (Artifact)
  He, Dongjie ; Lu, Jingbo ; Xue, Jingling
• Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability (Artifact)
  He, Dongjie ; Lu, Jingbo ; Gao, Yaoqing ; Xue, Jingling
• Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java (Artifact)
  Späth, Johannes ; Nguyen Quang Do, Lisa ; Ali, Karim ; Bodden, Eric
• Qilin: A New Framework For Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis
  He, Dongjie ; Lu, Jingbo ; Xue, Jingling 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Low-Level Bi-Abduction
  Holík, Lukáš ; Peringer, Petr ; Rogalewicz, Adam ; Šoková, Veronika ; Vojnar, Tomáš ; Zuleger, Florian 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability
  He, Dongjie ; Lu, Jingbo ; Gao, Yaoqing ; Xue, Jingling 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Gradual Program Analysis for Null Pointers
  Estep, Sam ; Wise, Jenna ; Aldrich, Jonathan ; Tanter, Éric ; Bader, Johannes ; Sunshine, Joshua 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Pointer Analysis (Dagstuhl Seminar 13162)
  Lhotak, Ondrej ; Smaragdakis, Yannis ; Sridharan, Manu
• Adaptable pointer swizzling strategies in object bases – design, realization, and quantitative analysis
  Kemper, Alfons ; Kossmann, Donald 1993 RWTH, Fachgruppe Informatik
• Automatically replacing indices into parallel arrays with pointers to records
  Jokinen, Matti O.