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
Logic Based Program Synthesis and Transformation
Language: en
Pages: 290
Authors: M. Leuschel
Categories: Computers
Type: BOOK - Published: 2003-06-18 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 20
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
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