Copyright (C) 1992, Digital Equipment Corporation
All rights reserved.
See the file COPYRIGHT for a full description.

Last modified on Thu Jul  2 16:48:21 PDT 1992 by heydon

/proj/m3/pkg/juno-machine/src/README

DESCRIPTION

  This is the "juno-machine" package, which contains interfaces and
  implementations of the Juno II machine (run-time/interpretter).

CONTENTS

  The package contains interfaces and implementations for Juno II values and
  for the run-time. The contents are:

    Egraph.[im]3	  equivalence graphs for doing unification closure
    Equiv.[im]3		  equivalence classes for implementing E-graphs
    JunoArgs.i3		  interface for external procs to get arguments
    JunoByteCode.i3       definitions for the Juno bytecodes
    JunoDisassem.[im]3    disassembles Juno bytestreams
    JunoRT.[im]3	  run-time
    JunoSolve.[im]3	  constraint-solving
    JunoValue.i3	  defines types of Juno II values
    LinearSolve.[im]3	  solves linear equations using Gaussian elimination
    NonLinearSolve.[im]3  solves non-linear equations using Newton-Raphson
    stack.fig		  A picture of the stack layout used by JunoRT

SEE ALSO

  juno-doc		package containing auxilliary Juno documentation
  juno-compiler		package implementing the Juno compiler
  juno-app		package implementing the Juno (top-level) application