Static analysis of the frequency of change

Zusammenfassung
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.
  • Vollständige Referenz
  • BibTeX
Thiemann, P., (2004). Static analysis of the frequency of change. In: Dadam, P. & Reichert, M. (Hrsg.), Informatik 2004, Informatik verbindet, Band 2, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI). Bonn: Gesellschaft für Informatik e.V.. (S. 428-437).
@inproceedings{mci/Thiemann2004,
author = {Thiemann, Peter},
title = {Static analysis of the frequency of change},
booktitle = {Informatik 2004, Informatik verbindet, Band 2, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI)},
year = {2004},
editor = {Dadam, Peter AND Reichert, Manfred} ,
pages = { 428-437 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
GI-Proceedings.51-92.pdf349.1Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 3-88579-380-6
ISSN: 1617-5468
Datum: 2004
Sprache: en (en)
Typ: Text/Conference Paper
Sammlungen

Zur Langanzeige