run-time code generation

15

DAGSTUHL
1996

106views Software Engineering» more DAGSTUHL 1996»

Compiler Generation for Interactive Graphics Using Intermediate Code

13 years 8 months ago

Abstract. This paper describes a compiler generator (cogen) designed for interactive graphics, and presents preliminary results of its application to pixel-level code. The cogen ac...

Scott Draves

claim paper

Read More »

21

click to vote

PLDI
1998
ACM

73views Programming Languages» more PLDI 1998»

Run-time Code Generation and Modal-ML

13 years 11 months ago

Download www.cs.cmu.edu

This paper presents a typed programming language and compiler for run-time code generation. The language, called ML2, extends ML with modal operators in the style of the Mini-ML2 ...

Philip Wickline, Peter Lee, Frank Pfenning

claim paper

Read More »

28

click to vote

PEPM
1999
ACM

170views Software Engineering» more PEPM 1999»

Certifying Compilation and Run-Time Code Generation

13 years 11 months ago

Download www.cs.cornell.edu

A certifying compiler takes a source language program and produces object code, as well as a certi cate" that can be used to verify that the object code satis es desirable pr...

Luke Hornof, Trevor Jim

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers