TY  - RPRT
TI  - Domain Types: Selecting Abstractions Based on Variable Usage
AU  - Sven Apel
AU  - Dirk Beyer
AU  - Karlheinz Friedberger
AU  - Franco Raimondi
AU  - Alexander von Rhein
PY  - 2013
UR  - https://arxiv.org/abs/1305.6640
ID  - 1305.6640
ER  -