Language embeddings that preserve staging and safety

Details Language embeddings that preserve staging and safety Language embeddings that preserve staging and safety

2005-09-19

arxiv.org/abs/cs/0509057v1

Computer Science

Programming Languages

Scientific paper

We study embeddings of programming languages into one another that preserve what reductions take place at compile-time, i.e., staging. A certain condition -- what we call a `Turing complete kernel' -- is sufficient for a language to be stage-universal in the sense that any language may be embedded in it while preserving staging. A similar line of reasoning yields the notion of safety-preserving embeddings, and a useful characterization of safety-universality. Languages universal with respect to staging and safety are good candidates for realizing domain-specific embedded languages (DSELs) and `active libraries' that provide domain-specific optimizations and safety checks.

Affiliated with

Also associated with

No associations

Rating

Language embeddings that preserve staging and safety does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Language embeddings that preserve staging and safety, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Language embeddings that preserve staging and safety will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-298167