We extend an existing two-phase static analysis for an adaptive programming language to also deal with dynamic resources. The focus of our analysis is on predicting how these are used, in spite of the different, ever changing operating environments to which applications automatically adapt their behaviour. Our approach is based on a type and effect system at compile time, followed by a control flow analysis carried on at loading time. Remarkably, the second analysis cannot be anticipated, because information about availability, implementation and other aspects of resources are unknown until the application is injected in the current environment.
CITATION STYLE
Bodei, C., Degano, P., Ferrari, G. L., & Galletta, L. (2016). Last mile’s resources. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9560, pp. 33–53). Springer Verlag. https://doi.org/10.1007/978-3-319-27810-0_2
Mendeley helps you to discover research relevant for your work.