Implementing Explicit and Finding Implicit Sharing in Embedded DSLs
Aliasing, or sharing, is prominent in many domains, denoting that two differently-named objects are in fact identical: a change in one object (memory cell, circuit terminal, disk block) is instantly reflected in the other. Languages for modelling such domains should let the programmer explicitly def...
| Glavni avtor: | |
|---|---|
| Format: | Article |
| Jezik: | English |
| Izdano: |
Open Publishing Association
2011-09-01
|
| Serija: | Electronic Proceedings in Theoretical Computer Science |
| Online dostop: | http://arxiv.org/pdf/1109.0784v1 |