John M. Boyer, Charles F. Wiecha
DocEng 2009
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
Modeling polarization for Hyper-NA lithography tools and masks
Kafai Lai, Alan E. Rosenbluth, et al.
SPIE Advanced Lithography 2007
Conference paper
A quantitative analysis of OS noise
Alessandro Morari, Roberto Gioiosa, et al.
IPDPS 2011
Raymond F. Boyce, Donald D. Chamberlin, et al.
CACM