Implementing Explicit and Finding Implicit Sharing in Embedded DSLs

Abstract

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 define the sharing among objects or expressions. A DSL… (More)
DOI: 10.4204/EPTCS.66.11

Topics

  • Presentations referencing similar topics