An Incremental Approach to Compiler Construction

http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf

by l0stman • 16 years ago

77 18 16 years ago

scheme2006.cs.uchicago.edu

mahmud• 16 years ago

That paper is epic. It's actually a tutorial for undergrads on compiler construction, however, Ghuloum does nothing but code generation. From start to finish.

wingo2• 16 years ago

It is one of my favorite papers, and a gateway to a wealth of information available for hack/self-study.

It does have the insidious aspect though that if you get something halfway working and you like it, you will spend thousands of hours making it perfect. It seems an OK bargain, though...

larsberg• 16 years ago

At least as of ~four years ago or so, this is how the compiler construction course was taught at IU, according to one of my co-Ph.D. students who went there. He loved the course and its debuggable-at-each-step architecture.

mquander• 16 years ago

This is similar in spirit to this much more detailed series of text files, which is a great introduction for a beginner:

http://compilers.iecc.com/crenshaw/

He spends a bunch of time on parsing, since it isn't Lisp.

ahn• 16 years ago

There is a "port" of the same articles to Forth/x86:

http://home.iae.nl/users/mhx/crenshaw/tiny.html

hermanthegerman• 16 years ago

Here's something similar, more tutorial-like in Ruby: http://www.hokstad.com/compiler

rarestblog• 16 years ago

I'm assuming most compilers don't ship nasm/masm/whatever with them. How do compilers do actual "assembly to executable" step?

kmavm• 16 years ago

Historically, C compilers really did run an assembler in a separate process and communicate with it via pipes or files. gcc still ships with gas. gas is more oriented to the needs of a compiler than to human writers of assembly code.

Some compilers emit machine code from their own low-level intermediate representation, though. The trade-offs are similar to any other build/buy technical decision: full-custom gives you more control, while forcing you to reinvent the wheel.

wingo2• 16 years ago

One can assemble directly in your language of choice. See http://code.weinholt.se/industria/ for a particularly terse example: 1300 lines for an x86 assembler.

Link to source: http://bazaar.launchpad.net/~weinholt/scheme-libraries/indus...

gwern• 16 years ago

Similarly in Haskell, EHC: http://lambda-the-ultimate.org/node/366

thefool• 16 years ago

As someone who knows very little about compilers, is there any good place to read up on the very basic terminology and such (what a parser is, what they mean by code generation, and get a rough outline how code goes from language to something the processor can understand) that is on a slightly more abstract level than this paper?

MarkBook3• 16 years ago

here is what you are looking for. http://www1.idc.ac.il/tecs/ With this I built not only a compiler but a virtual machine, an assembler AND the machine it all runs on! It's the most awesome book I ever came across. You will come away from this so much more confident in your knowledge of how computers really work. I can't recommend it highly enough especially if you don't have a computer science background as I don't.

scorpioxy• 16 years ago

Can anyone second this opinion? I've had this book on my list for some time now.

I do have a CS background, but always appreciate deeper insight into things I might have missed.

kragen• 16 years ago

This is a great paper. It was one of my biggest inspirations for writing Ur-Scheme.

An Incremental Approach to Compiler Construction

Related Stories