[bitc-dev] BitC / HLVM
Jonathan S. Shapiro
shap at eros-os.org
Sun Aug 6 12:16:37 EDT 2006
No, because no attempt is being made to ensure that HLVM/LLVM are
verifiably correct. This is a long-term objective for BitC.
On Sat, 2006-08-05 at 18:57 +0200, Guillaume FORTAINE wrote:
> Hello all,
> Could this tool be an interesitng one to develop bitc ?
> High Level Virtual Machine
> "Based on LLVM (Low Level Virtual Machine). LLVM is HLVM's sister
> project. HLVM gains tremendous capability from LLVM in the areas of code
> generation, optimization, bytecode facilties, JIT compilation, target
> machine support, etc.
> Dynamic Compilation. HLVM supports "dynamic" languages, i.e. those that
> that have run-time compilation or interpretation as a language feature.
> For example, languages that support an eval function that compiles or
> interprets a source language statement (or entire program) at run-time.
> Language Designer's Toolkit. HLVM provides a complete language
> designer's toolkit for creating new programming languages. A plug-in
> model is used to allow a language front end to be executed at run-time.
> A language plug-in handles the process of translating from the
> language's source code into the HLVM Abstract Syntax Tree (AST)
> representation. After that, HLVM handles all aspects of code generation,
> bytecode storage, JIT execution or interpretation, and native compilation.
> Common Runtime. HLVM supports a common runtime for a variety of
> programming languages including Ruby, Python, Perl, Jython, Haskell,
> Prolog, and others.
> Language Interoperability Framework. Because HLVM uses the same
> facilities to implement the execution of different source languages, it
> is also a language interoperability framework. All language plug-ins
> translate source code into the same AST. This means they can
> interoperate. It doesn't mean they will interoperate. Language plug-ins
> that make use of the HLVM runtime library for common constructs (e.g.
> "string") will enhance the language's ability to interoperate with other
> Best Regards,
> Guillaume fortaine
> bitc-dev mailing list
> bitc-dev at coyotos.org
More information about the bitc-dev