Dzung Phan, Vinicius Lima
INFORMS 2023
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.
Dzung Phan, Vinicius Lima
INFORMS 2023
Hironori Takeuchi, Tetsuya Nasukawa, et al.
Transactions of the Japanese Society for Artificial Intelligence
Rie Kubota Ando
CoNLL 2006
Joseph Y. Halpern, Yoram Moses
Journal of the ACM