Abstract domain - Globe Thesis

Font Size: a A A

Keyword [Abstract domain] Result: 1 - 11 \| Page: 1 of 1
1.	Sound Floating-point And Non-convex Static Analysis Using Interval Linear Abstract Domains
2.	Static Analysis For A Class Of Floating-point Range Constraint
3.	Research On Key Technologies Of Improving The Accuracy Of Static Defect Detecting
4.	Weakly Relational Absolute Value Numerical Abstract Domain
5.	Integer Implementation And Efficiency Improvement For Polyhedron Abstract Domain
6.	Research On C Program Array Out Of Bounds Checking Technology
7.	Research And Implementation Of Analysis For Numerical Properties Of Program Variables Based On Abstract Interpretation
8.	Analysis Of Programs With Pointer Arithmetic Based On Abstract Interpretation
9.	Program Loop Bounds Analysis Based On Abstract Interpretation
10.	Research On Generation Of Invariant Based On Abstract Interpretation
11.	Research On The Scope Of Program Variables Based On Abstract Interpretation
<<First <Prev Next> Last>> Jump to