Customizing host IDE for non-programming users of pure embedded DSLs: A case study
Pure embedding as an implementation strategy of domain-specific languages (DSLs)
benefits from low implementation costs. On the other hand, it introduces undesired syntactic …
benefits from low implementation costs. On the other hand, it introduces undesired syntactic …
Detecting useless transitions in pushdown automata
E Chatzikalymnios, W Fokkink, D Grune, B Hond… - Information and …, 2021 - Elsevier
Pushdown automata may contain transitions that are never used in any accepting run of the
automaton. We present an algorithm for detecting such useless transitions. A finite …
automaton. We present an algorithm for detecting such useless transitions. A finite …
Construction of a pushdown automaton accepting a postfix notation of a tree language given by a regular tree expression
Regular tree expressions are a formalism for describing regular tree languages, which can
be accepted by a finite tree automaton as a standard model of computation. It was proved …
be accepted by a finite tree automaton as a standard model of computation. It was proved …
Customizing host IDE for non-programming users of pure embedded DSLs
M Nos, J Porubn, M Sulr - Computer Languages, Systems and Structures, 2017 - dl.acm.org
Pure embedding as an implementation strategy of domain-specific languages (DSLs)
benefits from low implementation costs. On the other hand, it introduces undesired syntactic …
benefits from low implementation costs. On the other hand, it introduces undesired syntactic …