version 1.13, 2000/01/17 08:06:15 |
version 1.14, 2000/01/17 08:50:56 |
|
|
% $OpenXM: OpenXM/doc/issac2000/openxm-stackmachines.tex,v 1.12 2000/01/17 01:23:41 takayama Exp $ |
% $OpenXM: OpenXM/doc/issac2000/openxm-stackmachines.tex,v 1.13 2000/01/17 08:06:15 noro Exp $ |
|
|
\section{OpenXM Stack machines}\label{sec:ox-stackmachines} |
\section{OpenXM Stack machines}\label{sec:ox-stackmachines} |
|
|
Line 7 In OpenXM specification, all servers are stack machine |
|
Line 7 In OpenXM specification, all servers are stack machine |
|
When a server ox\_xyz gets an OX data message, |
When a server ox\_xyz gets an OX data message, |
it translates the data into a local object of ox\_xyz |
it translates the data into a local object of ox\_xyz |
and pushes the object onto the stack. |
and pushes the object onto the stack. |
According to the OpenMath specification, |
The translation scheme |
the translation scheme |
|
%% together with definitions of mathematical operations |
%% together with definitions of mathematical operations |
%% of the system ox\_xyz |
%% of the system ox\_xyz |
is called the {\it PhraseBook} of ox\_xyz. |
is called the {\it PhraseBook} of ox\_xyz (cf. OpenMath \cite{OpenMath}). |
For example, the Asir command {\tt ox\_push\_cmo(P,1)} |
For example, the Asir command {\tt ox\_push\_cmo(P,1)} |
(push integer $1$ onto the server $P$) |
(push integer $1$ onto the server $P$) |
sends an OX data message |
sends an OX data message |