Publisher
Springer Nature Switzerland
Reference22 articles.
1. Amtoft, T.: Correctness of practical slicing for modern program structures. Department of Computing and Information Sciences, Kansas State University, Tech. rep. (2007)
2. Bilardi, G., Pingali, K.: A framework for generalized control dependence. SIGPLAN Not. 31(5), 291–300 (1996). https://doi.org/10.1145/249069.231435
3. Bucek, J., Lange, K.D., v. Kistowski, J.: Spec CPU2017: next-generation compute benchmark. In: Companion of the 2018 ACM/SPEC International Conference on Performance Engineering, pp. 41–42. ICPE ’18, ACM, New York, NY, USA (2018). https://doi.org/10.1145/3185768.3185771
4. Danicic, S., Barraclough, R., Harman, M., Howroyd, J.D., Kiss, Á., Laurence, M.: A unifying theory of control dependence and its application to arbitrary program structures. Theor. Comput. Sci. 412(49), 6809–6842 (2011). https://doi.org/10.1016/j.tcs.2011.08.033
5. Denning, D.E., Denning, P.J.: Certification of programs for secure information flow. Commun. ACM 20(7), 504–513 (1977). https://doi.org/10.1145/359636.359712