Sign up to our emails and be the first to know about new releases, special offers and more.
Become a Readings Member to make your shopping experience even easier. Sign in or sign up for free!
Hello Readings Member! Go to the member centre to view your orders, change your details, or view your lists, or sign out.
Australian Book Retailer of the Year 2021
Markus Muller-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…
Available to order, ships in 7-14 daysAvailable to order
This book presents the verified design of a code generator translating a prototypic real-time programming language to an actual microprocessor, the Inmos Transputer.
Covers the proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2009. This book addresses issues from the communities of verification, model checking, and abstract…
The papers address all aspects of static analysis, including abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, program transformation, program verification, security analysis, and type checking.
This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2018, held in Beijing, China, in September 2018.
