Developing a software system for automata-based code generation

DOI10.1134/S0361768816030075zbMath1452.68054MaRDI QIDQ2216713

Yanyan Li

Publication date: 16 December 2020

Published in: Programming and Computer Software (Search for Journal in Brave)

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• UniMod

Cites Work

• Unnamed Item
• Graphical inheritance notation for state-based classes
• Tools for support of automata-based programming
• Automata theory
• Translating iterative algorithms into automaton ones

This page was built for publication: Developing a software system for automata-based code generation