Search preferences
Skip to main search results

Search filters

Product Type

  • All Product Types 
  • Books (12)
  • Magazines & Periodicals (No further results match this refinement)
  • Comics (No further results match this refinement)
  • Sheet Music (No further results match this refinement)
  • Art, Prints & Posters (No further results match this refinement)
  • Photographs (No further results match this refinement)
  • Maps (No further results match this refinement)
  • Manuscripts & Paper Collectibles (No further results match this refinement)

Condition

Collectible Attributes

Language (1)

Price

  • Any Price 
  • Under £ 20 (No further results match this refinement)
  • £ 20 to £ 35 (No further results match this refinement)
  • Over £ 35 
Custom price range (£)

Seller Location

  • Barrière, Aurèle

    Published by ACM Books, 2025

    ISBN 13: 9798400713781

    Language: English

    Seller: Ria Christie Collections, Uxbridge, United Kingdom

    Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

    Contact seller

    Free shipping within United Kingdom

    Destination, rates & speeds

    Quantity: Over 20 available

    Add to basket

    Condition: New. In.

  • Aurele Barriere

    Published by Association of Computing Machinery,U.S., New York, 2025

    ISBN 13: 9798400713781

    Language: English

    Seller: CitiRetail, Stevenage, United Kingdom

    Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

    Contact seller

    Free shipping within United Kingdom

    Destination, rates & speeds

    Quantity: 1 available

    Add to basket

    Paperback. Condition: new. Paperback. This book outlines a methodology to develop formally verified Just-in-Time compilers. Just-in-Time compilation is a technique to execute programs, where execution is interleaved with optimizations of the program itself. These compilers often produce fast executions, so much so that their use has grown greatly for dynamic programming languages. Most modern web browsers today use Just-in-Time compilation to speed up the execution of the JavaScript programs they execute.However, the techniques used in Just-in-Time compilers can be particularly complex. This complexity can be a source of bugs and vulnerabilities. How can you make sure that your Just-in-Time compiler is bug-free? For traditional ahead-of-time compilers, many techniques have been developed to prevent compilation bugs. One such technique is formally verified compilation, where the compiler itself comes with proof that the semantics of the compiled program correspond to the semantics of the source program. But Just-in-Time compilers are more recent, less understood, and have been the target of far fewer verification efforts.To bring formal verification to Just-in-Time compilation, the book identifies a set of specific verification challenges and presents novel solutions for each of them. Such challenges include dynamic optimizations, speculative optimizations, deoptimizations, and the interleaving of interpretation and machine code generation. The author repurposes proof techniques from formally verified ahead-of-time compilers like CompCert. Following this methodology, readers can develop Just-in-Time compilers and formally prove that they behave as prescribed by the semantics of the program they execute. All proofs within the book have been mechanized in the Coq proof assistant. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.

  • Barrière, Aurèle

    Published by ACM Books, 2025

    ISBN 13: 9798400713781

    Language: English

    Seller: California Books, Miami, FL, U.S.A.

    Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

    Contact seller

    £ 7.40 shipping from U.S.A. to United Kingdom

    Destination, rates & speeds

    Quantity: Over 20 available

    Add to basket

    Condition: New.

  • Barrière, Aurèle

    Published by ACM Books, 2025

    ISBN 13: 9798400713774

    Language: English

    Seller: Ria Christie Collections, Uxbridge, United Kingdom

    Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

    Contact seller

    Free shipping within United Kingdom

    Destination, rates & speeds

    Quantity: Over 20 available

    Add to basket

    Condition: New. In.

  • Aurele Barriere

    Published by Association of Computing Machinery,U.S., New York, 2025

    ISBN 13: 9798400713774

    Language: English

    Seller: CitiRetail, Stevenage, United Kingdom

    Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

    Contact seller

    Free shipping within United Kingdom

    Destination, rates & speeds

    Quantity: 1 available

    Add to basket

    Hardcover. Condition: new. Hardcover. This book outlines a methodology to develop formally verified Just-in-Time compilers. Just-in-Time compilation is a technique to execute programs, where execution is interleaved with optimizations of the program itself. These compilers often produce fast executions, so much so that their use has grown greatly for dynamic programming languages. Most modern web browsers today use Just-in-Time compilation to speed up the execution of the JavaScript programs they execute. However, the techniques used in Just-in-Time compilers can be particularly complex. This complexity can be a source of bugs and vulnerabilities. How can you make sure that your Just-in-Time compiler is bug-free? For traditional ahead-of-time compilers, many techniques have been developed to prevent compilation bugs. One such technique is formally verified compilation, where the compiler itself comes with proof that the semantics of the compiled program correspond to the semantics of the source program. But Just-in-Time compilers are more recent, less understood, and have been the target of far fewer verification efforts. To bring formal verification to Just-in-Time compilation, the book identifies a set of specific verification challenges and presents novel solutions for each of them. Such challenges include dynamic optimizations, speculative optimizations, deoptimizations, and the interleaving of interpretation and machine code generation. The author repurposes proof techniques from formally verified ahead-of-time compilers like CompCert. Following this methodology, readers can develop Just-in-Time compilers and formally prove that they behave as prescribed by the semantics of the program they execute. All proofs within the book have been mechanized in the Coq proof assistant. This book outlines a methodology to develop formally verified Just-in-Time compilers. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.

  • Barrière, Aurèle

    Published by ACM Books, 2025

    ISBN 13: 9798400713774

    Language: English

    Seller: California Books, Miami, FL, U.S.A.

    Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

    Contact seller

    £ 7.40 shipping from U.S.A. to United Kingdom

    Destination, rates & speeds

    Quantity: Over 20 available

    Add to basket

    Condition: New.

  • Aurele Barriere

    Published by ACM Books, 2025

    ISBN 13: 9798400713781

    Language: English

    Seller: Grand Eagle Retail, Fairfield, OH, U.S.A.

    Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

    Contact seller

    £ 37 shipping from U.S.A. to United Kingdom

    Destination, rates & speeds

    Quantity: 1 available

    Add to basket

    Paperback. Condition: new. Paperback. This book outlines a methodology to develop formally verified Just-in-Time compilers. Just-in-Time compilation is a technique to execute programs, where execution is interleaved with optimizations of the program itself. These compilers often produce fast executions, so much so that their use has grown greatly for dynamic programming languages. Most modern web browsers today use Just-in-Time compilation to speed up the execution of the JavaScript programs they execute.However, the techniques used in Just-in-Time compilers can be particularly complex. This complexity can be a source of bugs and vulnerabilities. How can you make sure that your Just-in-Time compiler is bug-free? For traditional ahead-of-time compilers, many techniques have been developed to prevent compilation bugs. One such technique is formally verified compilation, where the compiler itself comes with proof that the semantics of the compiled program correspond to the semantics of the source program. But Just-in-Time compilers are more recent, less understood, and have been the target of far fewer verification efforts.To bring formal verification to Just-in-Time compilation, the book identifies a set of specific verification challenges and presents novel solutions for each of them. Such challenges include dynamic optimizations, speculative optimizations, deoptimizations, and the interleaving of interpretation and machine code generation. The author repurposes proof techniques from formally verified ahead-of-time compilers like CompCert. Following this methodology, readers can develop Just-in-Time compilers and formally prove that they behave as prescribed by the semantics of the program they execute. All proofs within the book have been mechanized in the Coq proof assistant. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

  • Aurele Barriere

    Published by Association of Computing Machinery,U.S., New York, 2025

    ISBN 13: 9798400713781

    Language: English

    Seller: AussieBookSeller, Truganina, VIC, Australia

    Seller rating 3 out of 5 stars 3-star rating, Learn more about seller ratings

    Contact seller

    £ 27.38 shipping from Australia to United Kingdom

    Destination, rates & speeds

    Quantity: 1 available

    Add to basket

    Paperback. Condition: new. Paperback. This book outlines a methodology to develop formally verified Just-in-Time compilers. Just-in-Time compilation is a technique to execute programs, where execution is interleaved with optimizations of the program itself. These compilers often produce fast executions, so much so that their use has grown greatly for dynamic programming languages. Most modern web browsers today use Just-in-Time compilation to speed up the execution of the JavaScript programs they execute.However, the techniques used in Just-in-Time compilers can be particularly complex. This complexity can be a source of bugs and vulnerabilities. How can you make sure that your Just-in-Time compiler is bug-free? For traditional ahead-of-time compilers, many techniques have been developed to prevent compilation bugs. One such technique is formally verified compilation, where the compiler itself comes with proof that the semantics of the compiled program correspond to the semantics of the source program. But Just-in-Time compilers are more recent, less understood, and have been the target of far fewer verification efforts.To bring formal verification to Just-in-Time compilation, the book identifies a set of specific verification challenges and presents novel solutions for each of them. Such challenges include dynamic optimizations, speculative optimizations, deoptimizations, and the interleaving of interpretation and machine code generation. The author repurposes proof techniques from formally verified ahead-of-time compilers like CompCert. Following this methodology, readers can develop Just-in-Time compilers and formally prove that they behave as prescribed by the semantics of the program they execute. All proofs within the book have been mechanized in the Coq proof assistant. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.

  • Aurele Barriere

    Published by ACM Books, 2025

    ISBN 13: 9798400713774

    Language: English

    Seller: Grand Eagle Retail, Fairfield, OH, U.S.A.

    Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

    Contact seller

    £ 37 shipping from U.S.A. to United Kingdom

    Destination, rates & speeds

    Quantity: 1 available

    Add to basket

    Hardcover. Condition: new. Hardcover. This book outlines a methodology to develop formally verified Just-in-Time compilers. Just-in-Time compilation is a technique to execute programs, where execution is interleaved with optimizations of the program itself. These compilers often produce fast executions, so much so that their use has grown greatly for dynamic programming languages. Most modern web browsers today use Just-in-Time compilation to speed up the execution of the JavaScript programs they execute.However, the techniques used in Just-in-Time compilers can be particularly complex. This complexity can be a source of bugs and vulnerabilities. How can you make sure that your Just-in-Time compiler is bug-free? For traditional ahead-of-time compilers, many techniques have been developed to prevent compilation bugs. One such technique is formally verified compilation, where the compiler itself comes with proof that the semantics of the compiled program correspond to the semantics of the source program. But Just-in-Time compilers are more recent, less understood, and have been the target of far fewer verification efforts.To bring formal verification to Just-in-Time compilation, the book identifies a set of specific verification challenges and presents novel solutions for each of them. Such challenges include dynamic optimizations, speculative optimizations, deoptimizations, and the interleaving of interpretation and machine code generation. The author repurposes proof techniques from formally verified ahead-of-time compilers like CompCert. Following this methodology, readers can develop Just-in-Time compilers and formally prove that they behave as prescribed by the semantics of the program they execute. All proofs within the book have been mechanized in the Coq proof assistant. This book outlines a methodology to develop formally verified Just-in-Time compilers. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

  • Aurele Barriere

    Published by Association of Computing Machinery,U.S., New York, 2025

    ISBN 13: 9798400713774

    Language: English

    Seller: AussieBookSeller, Truganina, VIC, Australia

    Seller rating 3 out of 5 stars 3-star rating, Learn more about seller ratings

    Contact seller

    £ 27.38 shipping from Australia to United Kingdom

    Destination, rates & speeds

    Quantity: 1 available

    Add to basket

    Hardcover. Condition: new. Hardcover. This book outlines a methodology to develop formally verified Just-in-Time compilers. Just-in-Time compilation is a technique to execute programs, where execution is interleaved with optimizations of the program itself. These compilers often produce fast executions, so much so that their use has grown greatly for dynamic programming languages. Most modern web browsers today use Just-in-Time compilation to speed up the execution of the JavaScript programs they execute. However, the techniques used in Just-in-Time compilers can be particularly complex. This complexity can be a source of bugs and vulnerabilities. How can you make sure that your Just-in-Time compiler is bug-free? For traditional ahead-of-time compilers, many techniques have been developed to prevent compilation bugs. One such technique is formally verified compilation, where the compiler itself comes with proof that the semantics of the compiled program correspond to the semantics of the source program. But Just-in-Time compilers are more recent, less understood, and have been the target of far fewer verification efforts. To bring formal verification to Just-in-Time compilation, the book identifies a set of specific verification challenges and presents novel solutions for each of them. Such challenges include dynamic optimizations, speculative optimizations, deoptimizations, and the interleaving of interpretation and machine code generation. The author repurposes proof techniques from formally verified ahead-of-time compilers like CompCert. Following this methodology, readers can develop Just-in-Time compilers and formally prove that they behave as prescribed by the semantics of the program they execute. All proofs within the book have been mechanized in the Coq proof assistant. This book outlines a methodology to develop formally verified Just-in-Time compilers. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.

  • Aurèle Barrière

    Published by Association For Computing Machinery, 2025

    ISBN 13: 9798400713781

    Language: English

    Seller: AHA-BUCH GmbH, Einbeck, Germany

    Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

    Contact seller

    Print on Demand

    £ 6.67 shipping from Germany to United Kingdom

    Destination, rates & speeds

    Quantity: 2 available

    Add to basket

    Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - This book outlines a methodology to develop formally verified Just-in-Time compilers. Just-in-Time compilation is a technique to execute programs, where execution is interleaved with optimizations of the program itself. These compilers often produce fast executions, so much so that their use has grown greatly for dynamic programming languages. Most modern web browsers today use Just-in-Time compilation to speed up the execution of the JavaScript programs they execute.

  • Aurèle Barrière

    Published by Association For Computing Machinery, 2025

    ISBN 13: 9798400713774

    Language: English

    Seller: AHA-BUCH GmbH, Einbeck, Germany

    Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

    Contact seller

    Print on Demand

    £ 11.74 shipping from Germany to United Kingdom

    Destination, rates & speeds

    Quantity: 2 available

    Add to basket

    Buch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - This book outlines a methodology to develop formally verified Just-in-Time compilers. Just-in-Time compilation is a technique to execute programs, where execution is interleaved with optimizations of the program itself. These compilers often produce fast executions, so much so that their use has grown greatly for dynamic programming languages. Most modern web browsers today use Just-in-Time compilation to speed up the execution of the JavaScript programs they execute.