Zum Inhalt springen

  1. Dold, Axel [Sonstige Person, Familie und Körperschaft]; Henke, Friedrich Wilhelm von [Sonstige Person, Familie und Körperschaft]; Pfeifer, Holger [Sonstige Person, Familie und Körperschaft]; Rueß, Harald [Sonstige Person, Familie und Körperschaft]

    A generic specification for verifying peephole optimizations

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010

    Erschienen in: Ulmer Informatik-Berichte ; 95,14