| 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 |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to openxm-stackmachines.tex CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / doc / issac2000