Reversing abstractions | Hugonweb Annotated Link Bibliography

Most programming language design is about mapping from an abstract representation (high level code) to a concrete one (machine code executable). The author points out the value in going backwards, from machine code to high level code. That's what debuggers do. It would be nice if more was in common, e.g. debugging multi-language programs would be easier.