Abstract | ||
---|---|---|
We investigate a representation of contexts, expressionswith holes in them, that enables them to be meaningfully transformed,in particular α-converted and β-reduced. In particularwe generalize the set of λ-expressions to include holes, andon these generalized entities define β-reduction (i.e.,substitution) and filling so that these operations preserveα-congruence and commute. The theory is then applied to allowthe encoding of reduction systems and operational semantics ofcall-by-value calculi enriched with control, imperative andconcurrent features. |
Year | DOI | Venue |
---|---|---|
1999 | 10.1023/A:1010052222987 | Higher-Order and Symbolic Computation |
Keywords | DocType | Volume |
operational semantics,reduction system,expressionswith hole,imperative andconcurrent feature,generalized entity | Journal | 12 |
Issue | ISSN | Citations |
2 | 1573-0557 | 11 |
PageRank | References | Authors |
0.78 | 10 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ian A. Mason | 1 | 797 | 97.47 |