What is server?

1) In information technology, a server is a computer program that provides services to other computer programs (and their users) in the same or other computers.

2) The computer that a server program runs in is also frequently referred to as a server (though it may be used for other purposes as well).

3) In the client/server programming model, a server is a program that awaits and fulfills requests from client programs in the same or other computers. A given application in a computer may function as a client with requests for services from other programs and also as a server of requests from other programs.

What is interpretable language?

In the paper, a domain-specific language of executable specifications is proposed. This language makes it possible to describe models of formalized subject domains in a graphical form, formulate computational problems on these models, and synthesize programs for solving these problems (including parallel ones) based on deductive inference in a special class of proposition calculus.