next up previous contents index
Next: Pre-defined primitive abstractions in Up: Linking Logic with the Previous: Syntax of A++ including   Contents   Index


Examples using pre-defined primitives of A++


\begin{lstlisting}[language=Scm]{}
(ndisp! four) ; uses 'print' 'incr' and 'vmze...
...-->false
(print ''end of program'')
; -->end of program
(quit)
\end{lstlisting}


Subsections

domain access counter Georg P. Loczewski 2004-03-05