Esparza, Javier Programming Logics, MPI for Informatics, Max Planck Society;
Podelski, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
Esparza, J., & Podelski, A. (2000). Efficient Algorithms for Pre$^\star$ and Post$^\star$ on Interprocedural Parallel Flow Graphs. In Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL-00) (pp. 1-11). New York, USA: ACM.