DECLARATIVE APPROACH TO EMBEDDING AND INHERITANCE OF AUTOMATA CLASSES WITH IMPERATIVE PROGRAMMING LANGUAGES

Artem Astafurov

2008 , VOLUME 08, NUMBER 8 ( April )

ISSN 2226-1494 (print), ISSN 2500-0373 (online)

Publications

Editor-in-Chief

Nikiforov
Vladimir O.
D.Sc., Prof.

Partners

DECLARATIVE APPROACH TO EMBEDDING AND INHERITANCE OF AUTOMATA CLASSES WITH IMPERATIVE PROGRAMMING LANGUAGES

A. Astafurov

Read the full article

Abstract

Declarative approach for automata-based objects in object-oriented imperative programming languages with static type checking is discussed in this paper. Main feature of this method is the ability of application of inheritance and embedding of macrostates.

Keywords: declarative approach, automata-based programming, macrostate

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License