Xiaozhu Kang, Hui Zhang, et al.
ICWS 2008
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
Kaoutar El Maghraoui, Gokul Kandiraju, et al.
WOSP/SIPEW 2010
S.M. Sadjadi, S. Chen, et al.
TAPIA 2009
Conference paper
Social networks and discovery in the enterprise (SaND)
Inbal Ronen, Elad Shahar, et al.
SIGIR 2009