Skip to main content
Have a personal or library account? Click to login
Formal Verification of Just-in-Time Compilation Cover

Formal Verification of Just-in-Time Compilation

Publisher:Association for Computing Machinery
By: Aurèle Barrière  
Paid access
|Jan 2025
Product purchase options
Metrics

Metrics

PDF ISBN: 979-8-4007-1379-8 | E-Pub ISBN: 979-8-4007-1380-4
Publisher: Association for Computing Machinery
Copyright owner: © 2025 Association for Computing Machinery
Publication date: 2025
Language: English
Pages: 176
Related subjects:
Computer sciences,
Computer sciences, other,
Computer sciences,
Programming and languages

People also read

Formal Methods for Safe Autonomy
Book

Formal Methods for Safe Autonomy

Fan Chuchu
Formal Language
Book

Formal Language

Adam Brooks Webber
Verified Functional Programming in Agda
Book

Verified Functional Programming in Agda

Stump Aaron
Concurrency:
Book

Concurrency:

Malkhi Dahlia
Indistinguishability Obfuscation from Well-Studied Assumptions
Book

Indistinguishability Obfuscation from Well-Studied Assumptions

Aayush Jain
Programming Language Implementation
Book

Programming Language Implementation

Lutz Hamel
Theories of Programming
Book

Theories of Programming

Jones Cliff, Jayadev Misra
Declarative Logic Programming
Book

Declarative Logic Programming

Kifer Michael, Yanhong Liu
Effective Theories in Programming Practice
Book

Effective Theories in Programming Practice

Misra Jayadev
Multicore Hardware-Software Design and Verification Techniques
Book

Multicore Hardware-Software Design and Verification Techniques

Pao-Ann Hsiung, Yean-Ru Chen, Chao-Sheng Lin