Related Books
Language: en
Pages: 254
Pages: 254
Type: BOOK - Published: 2016-09-20 - Publisher: KIT Scientific Publishing
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
Language: en
Pages: 250
Pages: 250
Type: BOOK - Published: 2020-10-09 - Publisher:
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
Language: en
Pages: 464
Pages: 464
Type: BOOK - Published: 2023-06-14 - Publisher: KIT Scientific Publishing
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
Language: en
Pages: 290
Pages: 290
Type: BOOK - Published: 2003-06-18 - Publisher: Springer Science & Business Media
This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 20
Language: en
Pages: 847
Pages: 847
Type: BOOK - Published: 2012-09-19 - Publisher: Springer
This book constitutes the refereed proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012, held in Inns