Needed: a compiler-compiler with following properties

I am looking for a compiler-compiler with the following
properties.


1) Performs a pretty-printing of semantic rules. For example,
       generates a LaTeX file with terminals printed in bold font.


2) Allows conflicts to be resolved at run-time, e.g., a
   variable is used to select which reduction should be
                      chosen.


3) Allows a subset of the language to be both generated and
recognized (not in theory, but in supports it).


4) SUPPORTS the object-oriented programming paradigm.


If you know of any compiler-compiler that has a subset of these
properties please send a reply to directly


sfitzger@cs.ulowell.edu


or through the net.


Thanks
Steve
--

Return to the comp.compilers page.
Search the comp.compilers archives again.