Eunho Yang, Aurelie C. Lozano, et al.
ICML 2014
A problem with a demonstrable Ume-space trade-off Is exhibited The problem is to compile a straight-line program for a certain unmterprted expression; time is reckoned as the number of mstrucUons m the program, space as the number of registers referred to There are programs using linear space and linear tune, but any program using less than linear space uses more than linear rune. © 1978, ACM. All rights reserved.
Eunho Yang, Aurelie C. Lozano, et al.
ICML 2014
Bing Zhang, Mikio Takeuchi, et al.
ICAIF 2024
Hong-linh Truong, Maja Vukovic, et al.
ICDH 2024
Daniel Karl I. Weidele, Hendrik Strobelt, et al.
SysML 2019