Suchergebnisse - "Java program analysis"

  • Treffer 1 - 2 von 2
Treffer weiter einschränken
  1. 1
    Buchumschlag

    The ART of Sharing Points-to Analysis: Reusing Points-to Analysis Results Safely and Efficiently von Halalingaiah, Shashin, Sundaresan, Vijay, Maier, Daryl, Nandivada, V. Krishna

    ISSN: 2475-1421, 2475-1421
    Veröffentlicht: New York, NY, USA ACM 08.10.2024
    Veröffentlicht in Proceedings of ACM on programming languages (08.10.2024)
    “… Data-flow analyses like points-to analysis can vastly improve the precision of other analyses, and enable powerful code optimizations. However, whole-program …”
    Volltext
    Journal Article
    Zu den Favoriten
    Gespeichert in:
  2. 2
    Buchumschlag

    DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer von Alpuente, M., Feliú, M.A., Joubert, C., Villanueva, A.

    ISSN: 1571-0661, 1571-0661
    Veröffentlicht: Elsevier B.V 05.08.2009
    Veröffentlicht in Electronic notes in theoretical computer science (05.08.2009)
    “… This work presents a practical Java program analysis framework that is obtained by combining a Java virtual machine with a general-purpose verification toolbox …”
    Volltext
    Journal Article
    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: