Aurèle Barrière

Gebundenes Buch

Formal Verification of Just-in-Time Compilation

Beschreibung

This book outlines a methodology to develop formally verified Just-in-Time compilers.

Produktdetails

• Verlag: Association for Computing Machinery
• Seitenzahl: 176
• Erscheinungstermin: 28. Januar 2025
• Englisch
• Abmessung: 241mm x 196mm x 14mm
• Gewicht: 534g
• ISBN-13: 9798400713774
• Artikelnr.: 73243634