Analysing Switch-Case Tables by Partial Evaluation

Niklas Holsti. Analysing Switch-Case Tables by Partial Evaluation. In Christine Rochange, editor, 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, Pisa, Italy, July 3, 2007. Volume 07002 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2007. [doi]

@inproceedings{Holsti07,
  title = {Analysing Switch-Case Tables by Partial Evaluation},
  author = {Niklas Holsti},
  year = {2007},
  url = {http://drops.dagstuhl.de/opus/volltexte/2007/1195},
  tags = {partial evaluation},
  researchr = {https://researchr.org/publication/Holsti07},
  cites = {0},
  citedby = {0},
  booktitle = {7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, Pisa, Italy, July 3, 2007},
  editor = {Christine Rochange},
  volume = {07002},
  series = {Dagstuhl Seminar Proceedings},
  publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
}