RUS  ENG
Full version
JOURNALS // Program Systems: Theory and Applications // Archive

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.

UDC: 004.4’423

Received: 05.10.2015
Accepted: 02.11.2015



© Steklov Math. Inst. of RAS, 2025