Equations as a Uniform Framework for Partial. Evaluation and Abstract Interpretation

Michael Ray, Yves C. Martin

Proceedings of SPIE - The International Society for Optical Engineering

Yvonne Anne Pignolet, Stefan Schmid, et al.

Discrete Mathematics and Theoretical Computer Science

Raymond F. Boyce, Donald D. Chamberlin, et al.

CACM

Victor Valls, Panagiotis Promponas, et al.

IEEE Communications Magazine