HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Olli Saarikivi

Publications
Translating C# to Branching Symbolic Transducers
Olli Saarikivi and Margus Veanes
In:IWIL Workshop and LPAR Short Presentations

Keyphrases

automata theory, Domain Specific Language, symbolic transducer.

Copyright © 2012-2025 easychair.org. All rights reserved.