darrell@sdcsvax.UUCP (03/11/87)
In a recent posting, Kurt Vandenebrg (vanden@srcsip.uucp) asked an interesting question in a somewhat non-specific way. Since this is of interest to me either, I'll ask again: Looking for leads on symbolically debugging compiled AND OPTIMIZED code. The farther the distance between the high-level and compiled code, the harder this is going to be. The toughest thing would probably be from a high-level language directly to microcode (with optimization!). I think that LMI can compile (a subset of) zetalisp to microcode. Can you instruct the compiler to optimize as well? Can you symbolically debug the resulting program? Are you developing/using/aware of other such systems? Neta Amit (amit@umn-cs.arpa) University of Minnesota CSci