[PDF][PDF] Decidability of linear tree constraints for resource analysis of object-oriented programs
S Bauer - 2019 - edoc.ub.uni-muenchen.de
Program analysis aims to predict program behaviors already at compile time. For instance,
one could ask how many memory resources are required or in which range the program …
one could ask how many memory resources are required or in which range the program …