Searching for "Staged compilation." – sorted by Relevance.
404 documents found, showing 1 through 10.
Next 10 →
-
Towards automatic construction of staged compilers
- …Towards Automatic Construction of Staged Compilers Abstract Matthai Philipose, Craig Chambers…
- Cited by 6 (3 self) – Add To MetaCart
-
Dynamo: A Staged Compiler Architecture for Dynamic Program Optimization
- …Dynamo: A Staged Compiler Architecture for Dynamic Program Optimization Mark Leone and R. Kent…
- Cited by 26 (1 self) – Add To MetaCart
-
From Interpreter to Compiler using Staging and Monads
- …From Interpreter to Compiler using Staging and Monads Tim Sheard and Zine-el-abidine Benaissa Paci…
- Cited by 2 (0 self) – Add To MetaCart
-
Debugging of Constraint Programs: The DiSCiPl Methodology and Tools
- …, program correctness. Correctness is dealt with at a first stage at compile-time. We distinguish here…
- Add To MetaCart
-
Checking Dependent Types Using Compiled Code Preliminary Report
- … implementations typically use an interpreter, which has drawbacks. We show, how at this stage compiled code can…
- Add To MetaCart
-
Phantom Types
- … can be used to support typed generic functions, dynamic typing, and staged compilation in higher…
- Cited by 71 (0 self) – Add To MetaCart
-
A Formal Introduction to the Compilation of Java
- … the JVM) which serve as an intermediate stage to compile programming languages. Execution of Java…
- Cited by 5 (1 self) – Add To MetaCart
-
-819 Typed Compilation Spring 2000 Karl Crary
- …. At each stage of the compiler, type information from the source language is translated into type…
- Add To MetaCart
-
Compiling Erlang to Scheme
- … and the resulting C code is finally compiled by gcc. One might think that the many stages of this compilation…
- Cited by 8 (2 self) – Add To MetaCart
-
Compiling with Types
- … of types at all stages in compilation. In the framework, types are used not only to determine efficient…
- Cited by 90 (15 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
