Logo des Repositoriums
 

Static analysis of the frequency of change

dc.contributor.authorThiemann, Peter
dc.contributor.editorDadam, Peter
dc.contributor.editorReichert, Manfred
dc.date.accessioned2019-10-11T11:37:50Z
dc.date.available2019-10-11T11:37:50Z
dc.date.issued2004
dc.description.abstractA 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.en
dc.identifier.isbn3-88579-380-6
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/28808
dc.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofInformatik 2004, Informatik verbindet, Band 2, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI)
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-51
dc.titleStatic analysis of the frequency of changeen
dc.typeText/Conference Paper
gi.citation.endPage437
gi.citation.publisherPlaceBonn
gi.citation.startPage428
gi.conference.date20.-24. September 2004
gi.conference.locationUlm
gi.conference.sessiontitleRegular Research Papers

Dateien

Originalbündel
1 - 1 von 1
Lade...
Vorschaubild
Name:
GI-Proceedings.51-92.pdf
Größe:
349.18 KB
Format:
Adobe Portable Document Format