Gesellschaft fr Informatik e.V.

Lecture Notes in Informatics


Informatik 2004, Informatik verbindet, Band 2, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Ulm, 20.-24. September 2004 P-51, 428-437 (2004).

GI, Gesellschaft für Informatik, Bonn
2004


Editors

Peter Dadam, Manfred Reichert (eds.)


Copyright © GI, Gesellschaft für Informatik, Bonn

Contents

Static analysis of the frequency of change

Peter Thiemann

Abstract


A 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.


Full Text: PDF

GI, Gesellschaft für Informatik, Bonn
ISBN 3-88579-3080-6


Last changed 24.01.2012 21:47:26