Re: Compiler project needed

"Daniel C. Wang" <danwang+news@cs.princeton.edu>
27 Feb 2000 02:34:15 -0500

          From comp.compilers

Related articles
[2 earlier articles]
Re: Compiler project needed dstarner98@aasaa.ofe.org (2000-02-22)
Re: Compiler project needed cbrtjr@ix.netcom.com (Charles E. Bortle, Jr.) (2000-02-22)
Re: Compiler project needed torbenm@diku.dk (2000-02-22)
Re: Compiler project needed escargo@mirage.skypoint.com (2000-02-23)
Re: Compiler project needed sasulzer@seanet.com (Stephen Sulzer) (2000-02-23)
Re: Compiler project needed jkahrs@castor.atlas.de (Juergen Kahrs) (2000-02-23)
Re: Compiler project needed danwang+news@cs.princeton.edu (Daniel C. Wang) (2000-02-27)
Re: Compiler project needed dvdeug@x8b4e53cd.dhcp.okstate.edu (2000-02-27)
Re: Compiler project needed srineet@email.com (Srineet) (2000-02-27)
Re: Compiler project needed franck.pissotte@online.fr (Franck Pissotte) (2000-02-28)
Re: Compiler project needed anton@mips.complang.tuwien.ac.at (2000-03-06)
Re: Compiler project needed nr@labrador.eecs.harvard.edu (2000-03-06)
Re: Compiler project needed peter.r.wilson@boeing.com (Peter Wilson) (2000-03-06)
[2 later articles]
| List of all articles for this month |

From: "Daniel C. Wang" <danwang+news@cs.princeton.edu>
Newsgroups: comp.compilers
Date: 27 Feb 2000 02:34:15 -0500
Organization: Princeton University
References: 00-02-112 00-02-122
Keywords: practice

escargo@mirage.skypoint.com (David S Cargo) writes:
{stuff deleted}
    Now, how could you arrange for some or
> all of these to use a common runtime system so that each system
> doesn't need to create and maintain its own unique runtime?
>
> It's not exactly the Universal Computer Language (UNCOL) problem.


I think, a better approach would be some sort of "runtime system/VM
generator" which would take some sort of high-level description of a
VM/runtime system and spit out ugly C code, which may for example take
advantage of different architecture/OS features.


Ideally, the input to the runtime system/VM generator would be
something very close to an operational semantics for the bytecode,
which could act also as a formal specification of the semantics of the
language itself.


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.