Modular compiler verification

Descrição: This book presents the verified design of a code generator translating a prototypic real-time programming language ... Veja mais