|
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
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
Citation:
A. A. Burtsev, S. A. Sidorov, “Ternary virtual machine and ternary DSSP”, Program Systems: Theory and Applications, 6:4 (2015), 29–97
Linking options:
https://www.mathnet.ru/eng/ps182 https://www.mathnet.ru/eng/ps/v6/i4/p29
|
Statistics & downloads: |
Abstract page: | 490 | Full-text PDF : | 298 | References: | 79 |
|