Autor:	Thomas Reps, Frank DiMaio, Denis Gopan, Nurit Dor, Mooly Sagiv
Rok vydání:	2004
Předmět:	Theoretical computer science Computer science Bounded function Algorithm
Zdroj:	Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783540212997 TACAS
DOI:	10.1007/978-3-540-24730-2_38
Popis:	We introduce a systematic approach to designing summarizing abstract numeric domains from existing numeric domains. Summarizing domains use summary dimensions to represent potentially unbounded collections of numeric objects. Such domains are of benefit to analyses that verify properties of systems with an unbounded number of numeric objects, such as shape analysis, or systems in which the number of numeric objects is bounded, but large.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::470391d8d08556d7f37f05505ba4b946 https://doi.org/10.1007/978-3-540-24730-2_38 Zobrazit plný text záznamu