Creative Commons Atttribution-Noncommercial-Share Like 3.0 Exakt Gaussian utjämning av program är obeslutbar, så algoritmiska implementationer av smidig tolkning måste nödvändigtvis vara ungefärlig. I detta dokument karakteriserar vi de approximationer som görs av sådana algoritmer. För det första identifierar vi tre korrekta egenskaper-sundhet, robusthet, och β-robustness-som en ungefärlig smidig tolk bör tillfredsställa. I synnerhet är en smidig tolk sund om den beräknar en abstraktion av ett programs "smoothed" semantik, och robust om den har godtyckliga orderderivat i inmatningsvariablerna vid varje punkt i sitt inmatningsutrymme. För det andra beskriver vi utformningen av en ungefärlig smidig tolk som på ett tillfredsställande sätt uppfyller dessa egenskaper. Tolken kombinerar programabstraction med en ny domän med symbolisk beräkning av konvolution. Detaljerade villkor
REF utvecklade en utjämnande tolk som använder intervaller för att resonera om utjämnade semantik av program.
Smoothing a program soundly and robustly
{'venue': 'CAV', 'journal': None, 'mag_field_of_study': ['Computer Science']}