txlyre
/
avram


			
				
					
						
						
							12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970
							<html lang="en">
<head>
<title>Virtual Code Semantics - 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="up" href="Virtual-Machine-Specification.html#Virtual-Machine-Specification" title="Virtual Machine Specification">
<link rel="prev" href="Parameter-Mode-Interface.html#Parameter-Mode-Interface" title="Parameter Mode Interface">
<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="Virtual-Code-Semantics"></a>
<p>
Previous:&nbsp;<a rel="previous" accesskey="p" href="Parameter-Mode-Interface.html#Parameter-Mode-Interface">Parameter Mode Interface</a>,
Up:&nbsp;<a rel="up" accesskey="u" href="Virtual-Machine-Specification.html#Virtual-Machine-Specification">Virtual Machine Specification</a>
<hr>
</div>

<h3 class="section">2.7 Virtual Code Semantics</h3>

<p>As the previous sections explain, virtual code applications are defined
in terms of mathematical functions. Up until this point, the discussion
has focused on the interface between the function and the virtual
machine interpreter, by detailing the arguments passed to the functions under
various circumstances and the results they are expected to return in
order to achieve various effects.

   <p>The purpose of this section is to complete the picture by explaining how
a given computable function can be expressed in virtual code,
considering only functions operating on the trees described in <a href="Raw-Material.html#Raw-Material">Raw Material</a>. 
Functions manipulating trees of <code>nil</code> are undoubtedly a frivolous
and abstract subject in themselves. One is obliged to refer back to the
previous sections if in need of motivation.

<ul class="menu">
<li><a accesskey="1" href="A-New-Operator.html#A-New-Operator">A New Operator</a>
<li><a accesskey="2" href="On-Equality.html#On-Equality">On Equality</a>
<li><a accesskey="3" href="A-Minimal-Set-of-Properties.html#A-Minimal-Set-of-Properties">A Minimal Set of Properties</a>
<li><a accesskey="4" href="A-Simple-Lisp-Like-Language.html#A-Simple-Lisp-Like-Language">A Simple Lisp Like Language</a>
<li><a accesskey="5" href="How-_003ccode_003eavram_003c_002fcode_003e-Thinks.html#How-_003ccode_003eavram_003c_002fcode_003e-Thinks">How <code>avram</code> Thinks</a>
<li><a accesskey="6" href="Variable-Freedom.html#Variable-Freedom">Variable Freedom</a>
<li><a accesskey="7" href="Metrics-and-Maintenance.html#Metrics-and-Maintenance">Metrics and Maintenance</a>
<li><a accesskey="8" href="Deconstruction.html#Deconstruction">Deconstruction</a>
<li><a accesskey="9" href="Recursion.html#Recursion">Recursion</a>
<li><a href="Assignment.html#Assignment">Assignment</a>
<li><a href="Predicates.html#Predicates">Predicates</a>
<li><a href="Iteration.html#Iteration">Iteration</a>
<li><a href="List-Combinators.html#List-Combinators">List Combinators</a>
<li><a href="List-Functions.html#List-Functions">List Functions</a>
<li><a href="Exception-Handling.html#Exception-Handling">Exception Handling</a>
<li><a href="Interfaces-to-External-Code.html#Interfaces-to-External-Code">Interfaces to External Code</a>
<li><a href="Vacant-Address-Space.html#Vacant-Address-Space">Vacant Address Space</a>
</ul>

   </body></html>