Conference paper
DENOTATIONAL SEMANTICS AND REWRITE RULES FOR FP.
Joseph Y. Halpern, John H. Williams, et al.
POPL 1984
Conference paper
Program transformation in the presence of errors
Related
Conference paper
FULL ABSTRACTION AND EXPRESSIVE COMPLETENESS FOR FP.
Joseph Y. Halpern, Edward L. Wimmers
LICS 1986
Conference paper
Scheduling time-critical instructions on RISC machines
Krishna V. Palem, Barbara B. Simons
POPL 1990
M. Carey, L. Haas, et al.
RIDE-DOM 1995