„ynamic control flow“

Suchergebnisse

1 Treffer

• Analysing Switch-Case Code with Abstract Execution
  Holsti, Niklas ; Gustafsson, Jan ; Källberg, Linus ; Lisper, Björn 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik