^
abClick, Clifford Noel Jr. (February 1995).
Combining Analyses, Combining Optimizations (PhD thesis). Thesis Committee: Keith D. Cooper, Robert Bixby, Mark W. Krentel, Linda Torczon. Houston, Texas: Rice University.
OCLC1031097124. UMI Microform 9610626 – via Rice Research Repository, Rice Fondren Library.
^Hayes, Ian J.; Utting, Mark; Webb, Brae J. (9 November 2023). "Verifying Compiler Optimisations: (Invited Paper)". Written at Singapore. In Li, Yi; Tahar, Sofiène (eds.).
Formal Methods and Software Engineering. Lecture Notes in Computer Science. Vol. 14308. Brisbane, QLD, Australia: Springer Nature (published 21 November 2023). pp. 3–8.
doi:
10.1007/978-981-99-7584-6_1.
ISBN978-981-99-7584-6.
^
abWebb, Brae J.; Utting, Mark; Hayes, Ian J. (5 July 2021). "A Formal Semantics of the GraalVM Intermediate Representation". Automated Technology for Verification and Analysis. Lecture Notes in Computer Science. Vol. 12971. pp. 111–126.
arXiv:2107.01815.
doi:
10.1007/978-3-030-88885-5_8.
ISBN978-3-030-88884-8.
S2CID235732254.
^
abClick, Clifford Noel Jr. (February 1995).
Combining Analyses, Combining Optimizations (PhD thesis). Thesis Committee: Keith D. Cooper, Robert Bixby, Mark W. Krentel, Linda Torczon. Houston, Texas: Rice University.
OCLC1031097124. UMI Microform 9610626 – via Rice Research Repository, Rice Fondren Library.
^Hayes, Ian J.; Utting, Mark; Webb, Brae J. (9 November 2023). "Verifying Compiler Optimisations: (Invited Paper)". Written at Singapore. In Li, Yi; Tahar, Sofiène (eds.).
Formal Methods and Software Engineering. Lecture Notes in Computer Science. Vol. 14308. Brisbane, QLD, Australia: Springer Nature (published 21 November 2023). pp. 3–8.
doi:
10.1007/978-981-99-7584-6_1.
ISBN978-981-99-7584-6.
^
abWebb, Brae J.; Utting, Mark; Hayes, Ian J. (5 July 2021). "A Formal Semantics of the GraalVM Intermediate Representation". Automated Technology for Verification and Analysis. Lecture Notes in Computer Science. Vol. 12971. pp. 111–126.
arXiv:2107.01815.
doi:
10.1007/978-3-030-88885-5_8.
ISBN978-3-030-88884-8.
S2CID235732254.