Collaborated with:H.Bagheri K.J.Sullivan
Talks about:tradeoff (1) synthesi (1) spacemak (1) practic (1) object (1) formal (1) space (1) relat (1) map (1)
Person: Sang H. Son
DBLP: Son:Sang_H=
Contributed to:
2012Wrote 1 papers:
- SEKE-2012-BagheriSS #named #synthesis #trade-off
- Spacemaker: Practical Formal Synthesis of Tradeoff Spaces for Object-Relational Mapping (HB, KJS, SHS), pp. 688–693.