Lazy Evaluation: From natural semantics to a machine-checked compiler transformation

Lazy Evaluation: From natural semantics to a machine-checked compiler transformation
Author :
Publisher : KIT Scientific Publishing
Total Pages : 254
Release :
ISBN-10 : 9783731505464
ISBN-13 : 3731505460
Rating : 4/5 (460 Downloads)

Book Synopsis Lazy Evaluation: From natural semantics to a machine-checked compiler transformation by : Breitner, Joachim

Download or read book Lazy Evaluation: From natural semantics to a machine-checked compiler transformation written by Breitner, Joachim and published by KIT Scientific Publishing. This book was released on 2016-09-20 with total page 254 pages. Available in PDF, EPUB and Kindle. Book excerpt: In order to solve a long-standing problem with list fusion, a new compiler transformation, "Call Arity" is developed and implemented in the Haskell compiler GHC. It is formally proven to not degrade program performance; the proof is machine-checked using the interactive theorem prover Isabelle. To that end, a formalization of Launchbury's Natural Semantics for Lazy Evaluation is modelled in Isabelle, including a correctness and adequacy proof.


Lazy Evaluation: From natural semantics to a machine-checked compiler transformation Related Books

Lazy Evaluation: From natural semantics to a machine-checked compiler transformation
Language: en
Pages: 254
Authors: Breitner, Joachim
Categories: Electronic computers. Computer science
Type: BOOK - Published: 2016-09-20 - Publisher: KIT Scientific Publishing

DOWNLOAD EBOOK

In order to solve a long-standing problem with list fusion, a new compiler transformation, "Call Arity" is developed and implemented in the Haskell compiler GHC
Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security
Language: en
Pages: 464
Authors: Mohr, Martin
Categories:
Type: BOOK - Published: 2023-06-14 - Publisher: KIT Scientific Publishing

DOWNLOAD EBOOK

I report on applications of slicing and program dependence graphs (PDGs) to software security. Moreover, I propose a framework that generalizes both data-flow a
The Formal Semantics of Programming Languages
Language: en
Pages: 388
Authors: Glynn Winskel
Categories: Computers
Type: BOOK - Published: 1993-02-05 - Publisher: MIT Press

DOWNLOAD EBOOK

The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logi
The Implementation of Functional Programming Languages
Language: en
Pages: 472
Authors: Simon L. Peyton Jones
Categories: Computers
Type: BOOK - Published: 1987 - Publisher: Prentice Hall

DOWNLOAD EBOOK

Compiler Construction
Language: en
Pages: 459
Authors: William M. Waite
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Compilers and operating systems constitute the basic interfaces between a programmer and the machine for which he is developing software. In this book we are co