Raymond Wu, Jie Lu
ITA Conference 2007
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
Xinyi Su, Guangyu He, et al.
Dianli Xitong Zidonghua/Automation of Electric Power Systems
Rafae Bhatti, Elisa Bertino, et al.
Communications of the ACM
Joel L. Wolf, Mark S. Squillante, et al.
IEEE Transactions on Knowledge and Data Engineering