Sistemy i Sredstva Informatiki [Systems and Means of Informatics]
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Impact factor

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Sistemy i Sredstva Inform.:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Sistemy i Sredstva Informatiki [Systems and Means of Informatics], 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
References:
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.
Document Type: Article
Language: Russian
Citation: O. A. Bondarenko, K. I. Volovich, V. A. Kondrashev, “Executing system for code synthesized on the base of specifications on the language Cell”, Sistemy i Sredstva Inform., 21:1 (2011), 105–116
Citation in format AMSBIB
\Bibitem{BonVolKon11}
\by O.~A.~Bondarenko, K.~I.~Volovich, V.~A.~Kondrashev
\paper Executing system for code synthesized on the base of specifications on the language Cell
\jour Sistemy i Sredstva Inform.
\yr 2011
\vol 21
\issue 1
\pages 105--116
\mathnet{http://mi.mathnet.ru/ssi238}
Linking options:
  • https://www.mathnet.ru/eng/ssi238
  • https://www.mathnet.ru/eng/ssi/v21/i1/p105
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Системы и средства информатики
    Statistics & downloads:
    Abstract page:216
    Full-text PDF :123
    References:46
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024