Många kompilator optimering tekniker beror på förmågan att beräkna antalet heltal värden som uppfyller en given uppsättning linjära begränsningar. Denna siffra är en funktion av de symboliska parametrar som normalt visas i begränsningarna och det är känt som uppräkning av en parametrisk polytop. I ett utvidgat problem, några av de variabler som visas i begränsningarna kan existentiellt kvantifieras och sedan den uppräknade uppsättningen motsvarar projektionen av heltalspunkter i en parametrisk polytop. Vi hänvisar till detta problem som uppräkning av heltal projicering av en parametrisk polytope. Detta papper visar hur uppräkning av heltalsprojicering av parametriska polytoper kan reduceras till uppräkning av parametriska polytoper. Två metoder beskrivs och jämförs experimentellt. Skillnaderna är små, men båda metoderna kan lösa problem som tidigare ansågs mycket svåra att lösa analytiskt.
Detta arbete har utvidgats till att räkna punkter i projektionen av ett begränsat utrymme REF.
Experiences with enumeration of integer projections of parametric polytopes
{'venue': 'IN COMPILER CONSTRUCTION: 14TH INT. CONF', 'journal': None, 'mag_field_of_study': ['Computer Science', 'Mathematics']}