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
Originalbündel
1 - 1 von 1
Lade...
- Name:
- GI-Proceedings.51-92.pdf
- Größe:
- 349.18 KB
- Format:
- Adobe Portable Document Format