Abstrakt. Efter tidigare modeller lyfter vi standarddeterministiska och icke-deterministiska semantik av tvingande program till probabilistiska semantik. Denna semantik möjliggör slumpmässiga externa ingångar av kända eller okända sannolikhets- och slumptalsgeneratorer. Vi föreslår sedan en metod för analys av program enligt denna semantik, inom den allmänna ramen för abstrakt tolkning. Denna metod lyfter en "vanlig" abstrakt lattice, för icke-probabilistiska program, till en lämplig för probabilistiska program. Vår konstruktion är mycket generisk. Vi diskuterar hur vissa parametrar påverkar analysens precision och baserar oss på experimentella resultat.
Vi använder ramen för abstrakt tolkning av probabilistiska program som definieras i vårt tidigare arbete REF.
Abstract interpretation of probabilistic semantics
{'venue': 'In Seventh International Static Analysis Symposium (SAS’00), number 1824 in Lecture Notes in Computer Science', 'journal': None, 'mag_field_of_study': ['Computer Science']}