Declarative Approach to Implementing Automata Classes in Imperative Programming Languages
Artyom Astafurov, Anatoly Abramovich Shalyto · Proceedings of the Spring/Summer young researchers' colloquium on software engineering · 2008
This paper describes the declarative approach to implementation of automata objects in imperative object-oriented programming language with static type checking.The main advantage of proposed approach is the ability to use nesting and inheritance of macro-states.