Language embeddings that preserve staging and safety

Simple item page
dc.creatorVeldhuizen, Todd L.
dc.date2005-09-19
dc.date.accessioned2026-07-07T06:18:03Z
dc.date.available2026-07-07T06:18:03Z
dc.descriptionWe 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.
dc.identifierhttps://arxiv.org/abs/cs/0509057
dc.identifierhttp://arxiv.org/abs/cs/0509057
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/94603
dc.subjectProgramming Languages
dc.subjectD.3.4
dc.titleLanguage embeddings that preserve staging and safety
dc.typetext

Files

Collections

arXiv