| 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.identifier.isbn | 3-88579-380-6 | |
| dc.identifier.issn | 1617-5468 | |
| dc.identifier.uri | http://dl.gi.de/handle/20.500.12116/28808 | |
| 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.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 | |
| dc.pubPlace | Bonn | |
| mci.reference.pages | 428-437 | |
| mci.conference.sessiontitle | Regular Research Papers | |
| mci.conference.location | Ulm | |
| mci.conference.date | 20.-24. September 2004 | |
