Interval Type Inference: Improvements and Evaluations
Candidate: Di Wang
Title: Interval Type Inference: Improvements and Evaluations
Date: December 2, 2021
Time: 15:00
Place: MS Teams
Supervisor(s): Dietl, Werner
Abstract:
Interval analysis estimates the run-time intervals of numerical expressions in the source code by computing a lower bound and an
upper bound. Interval analysis for integral types is useful in providing facts of the target program to help developers find



Sustainable nanomaterials, such as cellulose nanocrystals (CNCs) are rod-like nanoparticles obtained by sulfuric acid hydrolysis of cellulose fibres.
