Total Books: 1 - 4 /4
Static Analysis
The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations ...
Weiterlesen
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, ...
Weiterlesen
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 ...
Weiterlesen
Variable Domain-specific Software Languages with DjDSL
This book details the conceptual foundations, design and implementation of the domain-specific language (DSL) development ...
Weiterlesen
Total Books: 1 - 4 /4
