Formal Verification of Just-in-Time Compilation

By clibrary on Mon, 06/23/2025 - 19:47
Author

Aurèle Barrière

Publisher

Association for Computing Machinery

Subject

Software Engineering

Year

2025

ISBN

9798400713774

URL
https://dl.acm.org/doi/book/10.1145/3705593