txlyre
/
avram


			
				
					
						
						
							1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162
							<html lang="en">
<head>
<title>Reference Implementations - avram - a virtual machine code interpreter</title>
<meta http-equiv="Content-Type" content="text/html">
<meta name="description" content="avram - a virtual machine code interpreter">
<meta name="generator" content="makeinfo 4.13">
<link title="Top" rel="start" href="index.html#Top">
<link rel="prev" href="Character-Table.html#Character-Table" title="Character Table">
<link rel="next" href="Changes.html#Changes" title="Changes">
<link href="http://www.gnu.org/software/texinfo/" rel="generator-home" title="Texinfo Homepage">
<meta http-equiv="Content-Style-Type" content="text/css">
<style type="text/css"><!--
  pre.display { font-family:inherit }
  pre.format  { font-family:inherit }
  pre.smalldisplay { font-family:inherit; font-size:smaller }
  pre.smallformat  { font-family:inherit; font-size:smaller }
  pre.smallexample { font-size:smaller }
  pre.smalllisp    { font-size:smaller }
  span.sc    { font-variant:small-caps }
  span.roman { font-family:serif; font-weight:normal; } 
  span.sansserif { font-family:sans-serif; font-weight:normal; } 
--></style>
</head>
<body>
<div class="node">
<a name="Reference-Implementations"></a>
<p>
Next:&nbsp;<a rel="next" accesskey="n" href="Changes.html#Changes">Changes</a>,
Previous:&nbsp;<a rel="previous" accesskey="p" href="Character-Table.html#Character-Table">Character Table</a>,
Up:&nbsp;<a rel="up" accesskey="u" href="index.html#Top">Top</a>
<hr>
</div>

<h2 class="appendix">Appendix B Reference Implementations</h2>

<p>This appendix contains some <code>silly</code> source code for several
functions that are mentioned in <a href="Virtual-Code-Semantics.html#Virtual-Code-Semantics">Virtual Code Semantics</a>, for specifying the virtual
machine code semantics, namely <code>pairwise</code>, <code>transition</code>,
<code>insert</code> and <code>replace</code>.

   <p>The intention is to specify the virtual machine mathematically with a
minimum of hand waving, by using only simple equations and small
fragments of <code>silly</code> code, which has a straightforward semantics. 
However, the <code>silly</code> code fragments are more significant in some
cases than what could fit into a few lines or be mechanically derived
from an equation.

   <p>The purpose of this appendix is therefore to avoid leaving any gaps in
the construction by demonstrating that everything mentioned can be done. None
of this code is needed for any practical purpose, because its
functionality is inherent in the virtual machine, but it shows how
certain operations would be specified if they were not built in.

<ul class="menu">
<li><a accesskey="1" href="Pairwise.html#Pairwise">Pairwise</a>
<li><a accesskey="2" href="Insert.html#Insert">Insert</a>
<li><a accesskey="3" href="Replace.html#Replace">Replace</a>
<li><a accesskey="4" href="Transition.html#Transition">Transition</a>
</ul>

   </body></html>