Filteren
Sorteren
2 resultaten
paperbackEngels9783540634065
6-8-1997
This book presents the verified design of a code generator translating a prototypic real-time programming language to an actual microprocessor, the Inmos Transputer. Meer
paperbackEngels9783540453857
2-10-2006
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. Meer