Total Books: 1 - 4 /4
Static Analysis
The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations ...
Lire la suite
Static Analysis : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings
The book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...
Lire la suite
Taxonomies for the Development and Verification of Digital Systems
"In the complicated world of system-on-chip design, we need a common language so we know what we're talking about. By ...
Lire la suite
Variable Domain-specific Software Languages with DjDSL
This book details the conceptual foundations, design and implementation of the domain-specific language (DSL) development ...
Lire la suite
Total Books: 1 - 4 /4
