Michael Ray, Yves C. Martin
Proceedings of SPIE - The International Society for Optical Engineering
Paper
Equations as a Uniform Framework for Partial. Evaluation and Abstract Interpretation
Abstract
Categories and Subject Descriptors: D.3.4 [Programming Languages]: Processors—code gen- eration; compilers: optimization; F.3.2 [Logics and Meanings of Programs]: Semantics ol Programming Languages—algebraic approaches to semantics. © 1998, ACM. All rights reserved.
Related
Conference paper
Soft x-ray diffraction of striated muscle
S.F. Fan, W.B. Yun, et al.
Proceedings of SPIE 1989
Khalid Abdulla, Andrew Wirth, et al.
ICIAfS 2014
Gal Badishi, Idit Keidar, et al.
IEEE TDSC