Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation
Publisher: Now Publishers Inc
Published: Feb 28, 2018
Format: paperback
Number of pages: 268
ISBN-13: 9781680833867
Notes: Source title: Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation (Foundations and Trends(r) in Programming Languages)