Download PDFOpen PDF in browser

Translating C# to Branching Symbolic Transducers

14 pagesPublished: June 4, 2017


The paper looks at tooling aspects of transforming C# programs into symbolic transducers with branching rules (BSTs). The latter are used for describing list comprehensions that incorporate loop-carried state. One concrete application is log analysis where input streams of data are transformed into output streams of data via intermediate pipelines of transducers. The paper presents algorithms for translating C# to BSTs, and for exposing control state in BSTs.

Keyphrases: automata theory, Domain Specific Language, symbolic transducer

In: Thomas Eiter, David Sands, Geoff Sutcliffe and Andrei Voronkov (editors). IWIL Workshop and LPAR Short Presentations, vol 1, pages 86--99

BibTeX entry
  author    = {Olli Saarikivi and Margus Veanes},
  title     = {Translating C\textbackslash{}\# to Branching Symbolic Transducers},
  booktitle = {IWIL Workshop and LPAR Short Presentations},
  editor    = {Thomas Eiter and David Sands and Geoff Sutcliffe and Andrei Voronkov},
  series    = {Kalpa Publications in Computing},
  volume    = {1},
  pages     = {86--99},
  year      = {2017},
  publisher = {EasyChair},
  bibsource = {EasyChair,},
  issn      = {2515-1762},
  url       = {},
  doi       = {10.29007/7jf1}}
Download PDFOpen PDF in browser