Abstrakt. Två kompletterande men likvärdiga semantiska tolkningar av ett probabilistiskt programmeringsspråk på hög nivå ges. En av dessa tolkar program som partiella mätbara funktioner på ett mätbart utrymme. Den andra tolkar program som kontinuerliga linjära operatörer på ett Banach utrymme av åtgärder. Det visas hur Scotts och andras beställda domäner naturligt är inbäddade i dessa utrymmen. Två allmänna resultat om probabilistiska program bevisas.
Att tala om flera semantik av probabilistiska program är inte nytt. REF gav en tolkning i termer av funktioner på mätbara utrymmen och som operatörer på ett Banach-område av åtgärder och visade sin korrespondens.
Semantics of probabilistic programs
{'venue': '20th Annual Symposium on Foundations of Computer Science (sfcs 1979)', 'journal': '20th Annual Symposium on Foundations of Computer Science (sfcs 1979)', 'mag_field_of_study': ['Mathematics', 'Computer Science']}