NDLI: Virt: A universal programming language

Content Provider	Springer Nature Link
Author	Baravskii, A. I.
Copyright Year	1999
Abstract	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.
Starting Page	742
Ending Page	758
Page Count	17
File Format	PDF
ISSN	10600396
Journal	Cybernetics and Systems Analysis
Volume Number	34
Issue Number	5
e-ISSN	15738337
Language	English
Publisher	Kluwer Academic Publishers-Plenum Publishers
Publisher Date	1999-01-01
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Processor Architectures Software Engineering/Programming and Operating Systems Artificial Intelligence (incl. Robotics) Systems Theory, Control
Content Type	Text
Resource Type	Article
Subject	Computer Science

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Proposal for a universal formalized language of knowledge

Using the VIRT programming language for automatic theorem proving

Insertion Programming

Recursive hyperstructures

Mapping technique

Descriptological Foundations of Programming

On Descriptive Systems

Problem Orientation in Developing Computer Architectures

Reliability of application software

Virt: A universal programming language

Similar Documents

Proposal for a universal formalized language of knowledge

Using the VIRT programming language for automatic theorem proving

Insertion Programming

Recursive hyperstructures

Mapping technique

Descriptological Foundations of Programming

On Descriptive Systems

Problem Orientation in Developing Computer Architectures

Reliability of application software

Virt: A universal programming language