> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Bericht Titel: A generic specification for verifying peephole optimizations Beteiligte: Dold, Axel [VerfasserIn]; Henke, Friedrich Wilhelm von [VerfasserIn]; Pfeifer, Holger [VerfasserIn]; Rueß, Harald [VerfasserIn] Erschienen: Universität Ulm, 2016-03-15T06:22:47Z Sprache: Englisch DOI: https://doi.org/10.18725/OPARU-1691 ISBN: 1651370737 Schlagwörter: Maschinencode ; Verifikation ; Computer programs. Verification ; Optimierung ; DDC 004 / Data processing & computer science Entstehung: Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Beschreibung: N/A