Static analysis of the frequency of change

dc.contributor.author	Thiemann, Peter
dc.contributor.editor	Dadam, Peter
dc.contributor.editor	Reichert, Manfred
dc.date.accessioned	2019-10-11T11:37:50Z
dc.date.available	2019-10-11T11:37:50Z
dc.date.issued	2004
dc.description.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.	en
dc.identifier.isbn	3-88579-380-6
dc.identifier.pissn	1617-5468
dc.identifier.uri	https://dl.gi.de/handle/20.500.12116/28808
dc.language.iso	en
dc.publisher	Gesellschaft für Informatik e.V.
dc.relation.ispartof	Informatik 2004, Informatik verbindet, Band 2, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI)
dc.relation.ispartofseries	Lecture Notes in Informatics (LNI) - Proceedings, Volume P-51
dc.title	Static analysis of the frequency of change	en
dc.type	Text/Conference Paper
gi.citation.endPage	437
gi.citation.publisherPlace	Bonn
gi.citation.startPage	428
gi.conference.date	20.-24. September 2004
gi.conference.location	Ulm
gi.conference.sessiontitle	Regular Research Papers

Dateien

1 - 1 von 1