VIRT: A universal programming language. The language VTRT has been implemented in Borland Pascal as a protected-mode MS DOS interpreter. The integrated development environment program includes a special-purpose text editor and a debugger, which allows stepwise tracing of the program at the source code level and the pseudocode level, executes the program up to an interrupt point, and ensures full control over all interpreter components (symbol table, stack, heap). VIRT has been tested in practice and a library of various applications has been developed: numerical methods, graph algorithms, symbolic processing and knowledge representation, automatic theorem proving. To test the possibilities of crosslanguage cooperation, a DLL library of graphic procedures was created in Borland Pascal, and an interface module was written in VIRT. In this way, several specific applications have been developed using VERT tools. The most promising directions for further study of VIRT include construction of database management systems, construction of case systems, construction of interpreters for functional languages, and knowledge processing. Of special interest is the use of VIRT to solve artificial intelligence problems. Note that arrays in VIRT are even better adapted to the needs of symbolic processing than lists in Lisp. Indexed access gives a definite advantage to the use of iterative procedures compared with recursive programming. An arbitrary list can be efficiently represented by a VIRT array, but not conversely. VIRT provides a single language environment for problems of various profiles (numerical calculations, symbolic processing, deductive inference, user interface) that require integration into a single system.
References in zbMATH (referenced in 2 articles , 1 standard article )
Showing results 1 to 2 of 2.
- Baranovskii, A. I.: Using the VIRT programming language for automatic theorem proving (1999)
- Baranovskii, A. I.: VIRT: A universal programming language (1998)