Skip to contents

  9. Hecker, Martin [Author]; Bischof, Simon [Author]; Snelting, Gregor [Author]

    On Time-sensitive Control Dependencies

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Association for Computing Machinery, 2022-02-02

    Published in: ACM Transactions on Programming Languages and Systems, 44 (1), Art.-Nr.: 2 ; ISSN: 0164-0925, 1558-4593

  14. Ermedahl, Andreas [Author]; Sandberg, Christer [Author]; Gustafsson, Jan [Author]; Bygde, Stefan [Author]; Lisper, Björn [Author] ; Andreas Ermedahl and Christer Sandberg and Jan Gustafsson and Stefan Bygde and Björn Lisper [Contributor]

    Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant Analysis

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2007

  20. Chebaro, Omar [Author] ; Besançon [Contributor]; Julliand, Jacques [Contributor]; Giorgetti, Alain [Contributor]; Kosmatov, Nikolaï [Contributor]; Zaïdi, Fatiha [Contributor]

    Classification de menaces d’erreurs par analyse statique, simplification syntaxique et test structurel de programmes ; Classification of errors threats by static analysis, program sclicing and structural testing of programs

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2011-12-13