Author:
Hayes Ian J.,Utting Mark,Webb Brae J.
Publisher
Springer Nature Singapore
Reference7 articles.
1. Nipkow, T., Wenzel, M., Paulson, L.C.: Isabelle/HOL: A Proof Assistant for Higher-Order Logic. LNCS, vol. 2283. Springer, Heidelberg (2002) https://doi.org/10.1007/3-540-45949-9
2. Plump, D.: Essentials of term graph rewriting. Electron. Notes Theor. Comput. Sci. 51, 277–289 (2002). https://doi.org/10.1016/S1571-0661(04)80210-X
3. Stadler, L., Würthinger, T., Simon, D., Wimmer, C., Mössenböck, H.: Graal IR: an extensible declarative intermediate representation. In: Proceedings of the Asia-Pacific Programming Languages and Compilers Workshop. APPLC ’13, pp. 1–9, February 2013
4. Utting, M., Webb, B.J., Hayes, I.J.: Differential testing of a verification framework for compiler optimizations (case study). In: FormaliSE 2023. IEEE (2023)
5. Webb, B.J., Hayes, I.J., Utting, M.: Verifying term graph optimizations using Isabelle/HOL. In: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs. CPP 2023, pp. 320–333. Association for Computing Machinery, New York, NY, USA (2023). https://doi.org/10.1145/3573105.3575673