Publications

Flow-sensitive interprocedural constant propagation