Limin Hu
IEEE/ACM Transactions on Networking
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
Robert C. Durbeck
IEEE TACON
Apostol Natsev, Alexander Haubold, et al.
MMSP 2007
Joel L. Wolf, Mark S. Squillante, et al.
IEEE Transactions on Knowledge and Data Engineering