/[mojave]/metaprl/theories/mc/README
ViewVC logotype

Diff of /metaprl/theories/mc/README

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3587 by emre, Thu Apr 25 05:26:29 2002 UTC revision 3588 by emre, Sat Apr 27 02:45:24 2002 UTC
# Line 11  Line 11 
11    
12  Overview:  Overview:
13  --------------------------------------------------------------------------  --------------------------------------------------------------------------
14  The Mojave Compiler (MC) is one component of the Caltech PRL group's mission to  The Mojave Compiler (MC) is one component of the Caltech Mojave Research
15  develop methods and tools for building safe and reliable distributed systems.  Group's mission to develop methods and tools for building safe and reliable
16  At it's core, MC uses a typed, mostly functional intermediate representation  distributed systems.  At it's core, MC uses a typed, mostly functional
17  (FIR).  Every source language compiled by MC is eventually transformed into the  intermediate representation (FIR).  Every source language compiled by MC is
18  FIR language.  By combining MC with a theorem prover / logical programming  eventually transformed into the FIR language.  By combining MC with a theorem
19  environment, e.g. MetaPRL, it is believed that we will be able to reason about  prover / logical programming environment, e.g. MetaPRL, it is believed that we
20  code and perform higher level optimizations and program transformations that  will be able to reason about code and perform higher level optimizations and
21  typical compilers are unable to perform.  The goal of this theory is to  program transformations that typical compilers are unable to perform.  The goal
22  formalize the FIR in order to perform these transformations and to reason about  of this theory is to formalize the FIR in order to perform these
23  FIR programs.  transformations and to reason about FIR programs.
24    
25  Currently, there are terms for everything in the FIR, some minimal operational  Currently, there are terms for everything in the FIR, some minimal operational
26  semantics, and partial implementations of some trivial optimizations.  The  semantics, and partial implementations of some trivial optimizations.  The

Legend:
Removed from v.3587  
changed lines
  Added in v.3588

  ViewVC Help
Powered by ViewVC 1.1.26