Program Systems: Theory and Applications
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Guidelines for authors
Submit a manuscript

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Program Systems: Theory and Applications:
Year:
Volume:
Issue:
Page:
Find






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


Program Systems: Theory and Applications, 2015, Volume 6, Issue 4, Pages 29–97 (Mi ps182)  

Mathematical Foundations of Programming

Ternary virtual machine and ternary DSSP

A. A. Burtsevab, S. A. Sidorovba

a Scientific Research Institute of System Development of RAS
b Lomonosov Moscow State University
References:
Abstract: In research laboratory of ternary informatics leaded by Brusentsov N. P. at the Computer Science (CS) department of the Moscow State University (MSU) the ternary virtual machine (TVM) and cross-system (DSSP-TVM) for development of programs for it using the DSSP-T language are created (during the period from 2010 to 2013).
Ternary virtual machine (TVM) is a simulator of ternary computer, which architecture has two stacks (data stack and control stack) and machine commands for structured programming like «Setun-70». Two variants of Dialogue System of Structured Programming (DSSP) for TVM have been constructed. DSSP-TVM lets it possible to create DSSP-program for TVM by means of cross-compiler.
DSSP/TVM is a dialogue interpreter, which can run on TVM as its resident software. Programming language DSSP-T used in both systems is a ternary version of language of the DSSP. The architecture of the TVM ternary processor and its instructions system, the main lines of the DSSP-T language and possibilities of the development environment DSSP-TVM are presented in article, and also some problem aspects of realization of the TVM simulator, a cross compiler of the DSSP-T language and the DSSP/TVM dialogue interpreter for the specific ternary computer are explained. (In Russian).
Key words and phrases: ternary computer, simulation model, TVM, DSSP, structured programming, threaded code.
Received: 05.10.2015
Accepted: 02.11.2015
Document Type: Article
UDC: 004.4’423
Language: Russian
Citation: A. A. Burtsev, S. A. Sidorov, “Ternary virtual machine and ternary DSSP”, Program Systems: Theory and Applications, 6:4 (2015), 29–97
Citation in format AMSBIB
\Bibitem{BurSid15}
\by A.~A.~Burtsev, S.~A.~Sidorov
\paper Ternary virtual machine and ternary DSSP
\jour Program Systems: Theory and Applications
\yr 2015
\vol 6
\issue 4
\pages 29--97
\mathnet{http://mi.mathnet.ru/ps182}
Linking options:
  • https://www.mathnet.ru/eng/ps182
  • https://www.mathnet.ru/eng/ps/v6/i4/p29
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Program Systems: Theory and Applications
    Statistics & downloads:
    Abstract page:490
    Full-text PDF :298
    References:79
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024