Thiemann, PeterDadam, PeterReichert, Manfred2019-10-112019-10-1120043-88579-380-6https://dl.gi.de/handle/20.500.12116/28808A frequency analysis assigns to each program value an upper bound on its change frequency. We define such an analysis and prove its correctness with respect to a denotational semantics of a tiny web programming language. We sketch its use for specializing web pages.enText/Conference Paper1617-5468