symbolic debugging

Thread View: mod.os

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by darrell Wed, 11 Mar 1987 04:20

#104

Author: darrell
Date: Wed, 11 Mar 1987 04:20

18 lines
1294 bytes

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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads