Formal Verification of Just-in-Time Compilation

Publisher:Association for Computing Machinery

By: Aurèle Barrière

Paid access

|Jan 2025

E-Book €37.00Institutions €111.00

This title is not yet available for download

E-Book €37.00Institutions €111.00

This title is not yet available for download

Description

Authors

Barrière, Aurèle

reference-global.com Google Scholar

Metrics

PDF ISBN: 979-8-4007-1379-8 | E-Pub ISBN: 979-8-4007-1380-4

Publisher: Association for Computing Machinery

Publication date: 2025

Language: English

Pages: 176

Related subjects:

Computer sciences,

Programming and languages,

Computer sciences, other

BISAC subjects:

COM051000,

COM014000

Thema subjects:

UM,

UY

Formal Verification of Just-in-Time Compilation

Authors

Barrière, Aurèle

People also read

Publications carousel

Formal Language

Formal Methods for Safe Autonomy

Verified Functional Programming in Agda

Concurrency:

Modern Programming Languages: 2nd Edition

Effective Theories in Programming Practice

Theories of Programming

Analysis of Boundedness and Safeness in a Petri Net-Based Specification of Concurrent Control Systems

Declarative Logic Programming

LLVM Cookbook

People also read

Paradigm

My account

People also read

Publications carousel

Formal Language

Formal Methods for Safe Autonomy

Verified Functional Programming in Agda

Concurrency:

Modern Programming Languages: 2nd Edition

Effective Theories in Programming Practice

Theories of Programming

Analysis of Boundedness and Safeness in a Petri Net-Based Specification of Concurrent Control Systems

Declarative Logic Programming

LLVM Cookbook