/[mojave]/metaprl/theories/mc/mp_mc_const_elim.mli
ViewVC logotype

Diff of /metaprl/theories/mc/mp_mc_const_elim.mli

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

revision 3587 by emre, Fri Apr 12 05:37:53 2002 UTC revision 3588 by emre, Sat Apr 27 02:45:24 2002 UTC
# Line 1  Line 1 
1  (*  (*
2   * Functional Intermediate Representation formalized in MetaPRL.   * The Mp_mc_const_elim module provides rewrites to perform
3   *   * constant elimination (folding) in FIR programs.
  * Fold constants together in FIR expressions.  
4   *   *
5   * ----------------------------------------------------------------   * ----------------------------------------------------------------
6   *   *
# Line 12  Line 11 
11   * See the file doc/index.html for information on Nuprl,   * See the file doc/index.html for information on Nuprl,
12   * OCaml, and more information about this system.   * OCaml, and more information about this system.
13   *   *
14     * Copyright (C) 2002 Brian Emre Aydemir, Caltech
15     *
16   * This program is free software; you can redistribute it and/or   * This program is free software; you can redistribute it and/or
17   * modify it under the terms of the GNU General Public License   * modify it under the terms of the GNU General Public License
18   * as published by the Free Software Foundation; either version 2   * as published by the Free Software Foundation; either version 2

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

  ViewVC Help
Powered by ViewVC 1.1.26