Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > comp.lang.forth > #26367

Re: EuroForth 2013 proceedings available

From anton@mips.complang.tuwien.ac.at (Anton Ertl)
Newsgroups comp.lang.forth
Subject Re: EuroForth 2013 proceedings available
Date 2013-10-09 13:53 +0000
Organization Institut fuer Computersprachen, Technische Universitaet Wien
Message-ID <2013Oct9.155340@mips.complang.tuwien.ac.at> (permalink)
References <2013Oct7.174137@mips.complang.tuwien.ac.at> <7xiox8p3ag.fsf@ruckus.brouhaha.com>

Show all headers | View raw


Paul Rubin <no.email@nospam.invalid> writes:
>Regarding PAF, you might know about Reuben Thomas's "Mite" which
>I've been wanting to try out: http://rrt.sc3d.org/Software/Mite/

Certainly, Mite has been presented at EuroForth.  There is a
difference in focus between portable assembly languages like PAF and
virtual machines like JVM and Mite:

They are both intermediate languages, but VMs like these also have
their own code distribution format and present the program with a
closed environment that allows things like garbage collection on the
VM level, but may be a bad match for many languages (e.g., the JVM is
a bad match for Forth).  In contrast, a portable assembly just
abstracts some differences between concrete machines away for
portability, but otherwise tries to give access to the raw
(user-level) machine.

>The MINIMAL portable assembler used for retargeting SPITBOL is
>documented here:
> https://github.com/hardbol/spitbol/blob/master/minimal-reference-manual.html

That seems to be similar in spirit to PAF.  I would have to look
closer at it to make a well-founded comparison.

>Also Dan Bernstein's qhasm might be of interest: http://cr.yp.to/qhasm.html
>its purpose is rather different than PAF though.

Yes, I looked at that when writing the paper (it comes up when you
google for "portable assembly language").  It's also a portable
assembly language in spirit, but the focus is on multi-precision
arithmetic (where existing portable assembly languages such as C suck,
and PAF is not much better) rather than on features a language
compiler would use.  Some comments in my paper on missing features of
PAF were inspired by this work.

>I've wondered about using the backend of TinyCC as a JIT

AFAIK The back end of tcc is integrated with the front end, so that
would be quite a bit of work.

- anton
-- 
M. Anton Ertl  http://www.complang.tuwien.ac.at/anton/home.html
comp.lang.forth FAQs: http://www.complang.tuwien.ac.at/forth/faq/toc.html
     New standard: http://www.forth200x.org/forth200x.html
   EuroForth 2013: http://www.euroforth.org/ef13/

Back to comp.lang.forth | Previous | NextPrevious in thread | Next in thread | Find similar | Unroll thread


Thread

EuroForth 2013 proceedings available anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2013-10-07 15:41 +0000
  Re: EuroForth 2013 proceedings available mentifex@myuw.net - 2013-10-07 10:18 -0700
  Re: EuroForth 2013 proceedings available Mark Wills <markrobertwills@yahoo.co.uk> - 2013-10-08 00:35 -0700
  Re: EuroForth 2013 proceedings available Paul Rubin <no.email@nospam.invalid> - 2013-10-08 01:36 -0700
    Re: EuroForth 2013 proceedings available anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2013-10-09 13:53 +0000
      Re: EuroForth 2013 proceedings available Paul Rubin <no.email@nospam.invalid> - 2013-10-19 10:59 -0700
        Re: EuroForth 2013 proceedings available anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2013-10-28 16:09 +0000
  Re: EuroForth 2013 proceedings available Gerry Jackson <gerry@jackson9000.fsnet.co.uk> - 2013-10-13 20:24 +0100
    Re: EuroForth 2013 proceedings available anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2013-10-15 15:32 +0000
      Re: EuroForth 2013 proceedings available Gerry Jackson <gerry@jackson9000.fsnet.co.uk> - 2013-10-17 11:22 +0100
        Re: EuroForth 2013 proceedings available Gerry Jackson <gerry@jackson9000.fsnet.co.uk> - 2013-10-26 20:55 +0100

csiph-web