Semantics of probabilistic programs
type: Item
instance of: scholarly article
title: Semantics of probabilistic programs
zbMATH Open document ID: 0476.68019
DOI: 10.1016/0022-0000(81)90036-2
author: Dexter Kozen
published in: Journal of Computer and System Sciences
publication date: 1981-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N01
zbMATH DE Number: 3748403
zbMATH Keywords: semantics for a high level probabilistic programming language
zbMATH Keywords: programs as partial measurable functions on a measurable space
zbMATH Keywords: programs as continuous linear operators on a Banach space of measures
zbMATH Keywords: ordered domains
zbMATH Keywords: action on fixed inputs
MaRDI profile type: Publication
full work available at URL: 0022-0000(81)90036-2
OpenAlex ID: W2024355065
cites work: Q5331549
cites work: Q5545069
cites work: Einige abstrakte Begriffe in der numerischen Mathematik (Anwendungen der Halbordnung).(Some abstract notions in the numerical mathematic. (Applications et semiorder))
cites work: Q3254057
cites work: Q5538132
cites work: Expected time bounds for selection
cites work: Q4133135
cites work: Q5799972
cites work: Q4057549
cites work: Q4124327
cites work: Q4140386
cites work: Q5643915
cites work: A Powerdomain Construction
cites work: Q4164569
cites work: A Fast Monte-Carlo Test for Primality
cites work: Formal models for some features of programming languages
description: scientific article; zbMATH DE number 3748403