Eric: Created page with "Environment Classifiers, Revisited. - Yukiyoshi Kameyama The classic problem of multi-stage programming -- how to ensure static safety (type safety and scope safety) for gen..."

2017-06-28T19:03:54Z

Created page with "Environment Classifiers, Revisited. - Yukiyoshi Kameyama The classic problem of multi-stage programming -- how to ensure static safety (type safety and scope safety) for gen..."

New page

Environment Classifiers, Revisited.

- Yukiyoshi Kameyama

The classic problem of multi-stage programming -- how to ensure
static safety (type safety and scope safety) for generated code, has
been solved by Taha an Nielsen who introduced environment classifiers
to capture the lexical scope of code variables. In this talk we
show that, by refining the notion of environment classifiers,
we get static safety for stronger languages with (1) local state,
(2) global state, and (3) powerful control operators.
In the first two cases (joint work with Oleg Kiselyov) the set of
classifiers forms a tree, while in the third case it forms a lattice.

WG211/M17Kameyama - Revision history

Eric: Created page with "Environment Classifiers, Revisited. - Yukiyoshi Kameyama The classic problem of multi-stage programming -- how to ensure static safety (type safety and scope safety) for gen..."