From: David MENTRE <dmentre@linux-france.org>
To: Simon P <psimonp@yahoo.com>
Cc: caml-list <caml-list@inria.fr>,
metaocaml-users <metaocaml-users@cs.rice.edu>
Subject: Re: [Caml-list] Seeking (Meta)Ocaml / compiler writing help
Date: Fri, 18 Jun 2010 08:31:27 +0200 [thread overview]
Message-ID: <AANLkTilZ_IX4y5NBsp6EIB662gnoTVyq-G5AZo5RNWIO@mail.gmail.com> (raw)
In-Reply-To: <29817.37781.qm@web113719.mail.gq1.yahoo.com>
Hello,
2010/6/17 Simon P <psimonp@yahoo.com>:
> We want to build a small domain specific language and convert it to
> a C-like language. In the process of this source-to-source translation, we want to try partial evaluation followed by relatively simple optimizations (dead code elimination, common subexpression elimination, constant folding, inlining).
It might be interested for you to look at Min-Caml compiler:
http://min-caml.sourceforge.net/index-e.html
Paper describing the compiler: http://min-caml.sourceforge.net/paper.pdf
MinCaml is a complete ML-like compiler compiling to Sparc in about
2,000 lines of code. As far as I remember, it does common
subexpression elimination, constant folding and inlining.
Sincerely yours,
david
prev parent reply other threads:[~2010-06-18 6:31 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-06-17 18:26 Simon P
2010-06-18 1:55 ` [Caml-list] " Erik de Castro Lopo
2010-06-18 6:31 ` David MENTRE [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=AANLkTilZ_IX4y5NBsp6EIB662gnoTVyq-G5AZo5RNWIO@mail.gmail.com \
--to=dmentre@linux-france.org \
--cc=caml-list@inria.fr \
--cc=metaocaml-users@cs.rice.edu \
--cc=psimonp@yahoo.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).