acm sigbed
|
emsoft
|
participants
Stephan Ellner
EMSOFT 2003: 3rd International Conference on Embedded Software
Generating Heap-Bounded Programs in a Functional Setting
Walid Taha
,
Stephan Ellner
, and
Hongwei Xi
10.1007/978-3-540-45212-6_22
https://github.com/maroneal/www/raw/master/publications/conference/emsoft03.pdf