RUS  ENG
Full version
JOURNALS // Sistemy i Sredstva Informatiki [Systems and Means of Informatics] // Archive

Sistemy i Sredstva Inform., 2011 Volume 21, Issue 1, Pages 105–116 (Mi ssi238)

Executing system for code synthesized on the base of specifications on the language Cell

O. A. Bondarenko, K. I. Volovich, V. A. Kondrashev

IPI RAN

Abstract: Issues of the program code generation that provides the functioning of the hierarchical state machines developed on the language Cell are considered. The concept of “runtime system” as a program code included by compiler of the language Cell into procedural code in order to provide the functioning of the main algorithm of the hierarchical state machines is described. The serialization of the procedural code which is executed by compiler Cell during its synthesis suggests a possibility of the effective functioning of the state machine without an operating system. It assigns to executing system a task to manage all the resources used by the hierarchical state machine.

Keywords: language Cell; cell; executing system; resource management; serialization; hierarchical state machine; software synthesis; telecommunication protocol.



© Steklov Math. Inst. of RAS, 2024