From: William ML Leslie <william.leslie.ttg-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org>
To: Ian Grant <ian.a.n.grant-gM/Ye1E23mwN+BqQ9rBEUg@public.gmane.org>
Cc: lightning <lightning-mXXj517/zsQ@public.gmane.org>,
guile-devel <guile-devel-mXXj517/zsQ@public.gmane.org>
Subject: Re: Reinterpreting the compiler source code
Date: Fri, 5 Sep 2014 10:13:17 +1000 [thread overview]
Message-ID: <CAHgd1hE7+TtS2JR21uYtpHwdtHPuUcxHU91XoowCMd2UHH-Dhw@mail.gmail.com> (raw)
In-Reply-To: <CAKFjmdx4Zm2_HVEUre-PYvcZrm41gKv-2z_EsGehjv6NbVxBAw-JsoAwUIsXosN+BqQ9rBEUg@public.gmane.org>
On 5 September 2014 03:33, Ian Grant <ian.a.n.grant-gM/Ye1E23mwN+BqQ9rBEUg@public.gmane.org> wrote:
> This is only the tip of the ice-burg; and the less evidence I see that
> people are properly addressing this 'issue', the more of these
> 'suggestions' I will publish over the next few days.
I would be much more interested in hearing about how you intend to
solve this 'issue'.
Are you building an ELF inspection and decompilation tool? Are you
rewriting GCC and the exec server as a bisimulation in ATS, Idris, or
Coq?
--
William Leslie
Notice:
Likely much of this email is, by the nature of copyright, covered
under copyright law. You absolutely MAY reproduce any part of it in
accordance with the copyright law of the nation you are reading this
in. Any attempt to DENY YOU THOSE RIGHTS would be illegal without
prior contractual agreement.
next prev parent reply other threads:[~2014-09-05 0:13 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-09-04 17:33 Reinterpreting the compiler source code Ian Grant
[not found] ` <CAKFjmdx4Zm2_HVEUre-PYvcZrm41gKv-2z_EsGehjv6NbVxBAw-JsoAwUIsXosN+BqQ9rBEUg@public.gmane.org>
2014-09-04 20:57 ` Bruno Loff
[not found] ` <CAGOfsMgZE==zCC2OmEPtbH_ph1g1-AhWikioSdZJFep8crP3vQ-JsoAwUIsXosN+BqQ9rBEUg@public.gmane.org>
2014-09-05 0:44 ` Ian Grant
2014-09-05 0:13 ` William ML Leslie [this message]
2014-09-05 1:51 ` Richard Stallman
[not found] ` <E1XPigS-000528-41-iW7gFb+/I3LZHJUXO5efmti2O/JbrIOy@public.gmane.org>
2014-09-05 2:23 ` Ian Grant
2014-09-06 22:16 ` Richard Stallman
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
List information: https://www.gnu.org/software/guile/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=CAHgd1hE7+TtS2JR21uYtpHwdtHPuUcxHU91XoowCMd2UHH-Dhw@mail.gmail.com \
--to=william.leslie.ttg-re5jqeeqqe8avxtiumwx3w@public.gmane.org \
--cc=guile-devel-mXXj517/zsQ@public.gmane.org \
--cc=ian.a.n.grant-gM/Ye1E23mwN+BqQ9rBEUg@public.gmane.org \
--cc=lightning-mXXj517/zsQ@public.gmane.org \
/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 read-only IMAP folder(s) and NNTP newsgroup(s).