LIBROS DEL AUTOR: markus muller olm

2 resultados para LIBROS DEL AUTOR: markus muller olm

markus muller olm Eliminar filtro Quitar filtros
  • Variations on Constants
    Markus Müller-Olm
    This monograph focuses on optimal flow analysis of sequential and parallel programs. It studies algorithmic properties of various versions of the well-known constant-propagation problem, combining techniques from such diverse areas as linear algebra, computable ring theory, abstract interpretation, program verification and complexity theory. This comb...
    Disponible

    66,74 €

  • Modular Compiler Verification
    Markus Müller-Olm
    This book presents the verified design of a code generator translating a prototypic real-time programming language to an actual microprocessor, the Inmos Transputer. Unlike most other work on compiler verification, and with particular emphasis on modularity, it systematically covers correctness of translation down to actual machine code, a necessity i...
    Disponible

    66,34 €