MLRISC project

MLRISC project

[Frank Ch. Eigler]

Hi -


If you're in a curious mood, take a look at the web pages of the MLRISC
project, at

	http://www.cs.nyu.edu/leunga/www/MLRISC/Doc/html/index.html

While this work focuses on building "a framework for retargetable and
optimizing compiler back ends", written in (but not just for) the SML
language, the code includes a part that resembles cgen:

	http://www.cs.nyu.edu/leunga/www/MLRISC/Doc/html/mlrisc-md.html

The scope of the work is awesome.  They attempt to generate not just
assemblers but the compiler backends too -- something of a holy grail
for cgen.

In case you're interested in SML, take a look at

	http://cm.bell-labs.com/cm/cs/what/smlnj/index.html

Wow.


- FChE
-- 
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.4 (GNU/Linux)
Comment: For info see http://www.gnupg.org

iD8DBQE6cgvAVZbdDOm/ZT0RAqdWAKCAdZZkzHh0zOm5XsxKtS5Bx2y9LgCfc4+t
ukl6WDB6vR8gXwmGp1czTL0=
=gLmv
-----END PGP SIGNATURE-----

Re: MLRISC project

[graydon]

along related lines:

the zephyr toolkit, including an advanced RTL, a binary encoding and
decoding library, a calling convention library, and a portable optimizer
http://www.cs.virginia.edu/zephyr

the new jersey machine code toolkit, another ML library for
instruction encoding and decoding, portable debugging, etc.
http://www.eecs.harvard.edu/~nr/toolkit

c-minus-minus, a FE/BE glue language somewhere between C and ASM
http://www.cminusminus.org

and on more of a sid-tangent, there's hawk, a
haskell based hardware simulator combinator library
http://www.cse.ogi.edu/PacSoft/projects/Hawk

-graydon