scientific article; zbMATH DE number 3890702
From MaRDI portal
Publication:3347262
zbMATH Open0558.68010MaRDI QIDQ3347262FDOQ3347262
Authors: Rohit Parikh, Anne Mahoney 
Publication date: 1984
Title of this publication is not available (Why is that?)
Recommendations
- Linking theories of probabilistic programming
- Foundations of probabilistic programming
- Probabilistic Programs as Measures
- Understanding probabilistic programs
- Linking theories in probabilistic programming
- Reasoning about Recursive Probabilistic Programs
- Application ofComputable Distributions to the Semantics of Probabilistic Programs
- scientific article; zbMATH DE number 1104373
- Reasoning about probabilistic sequential programs
probabilistic programsequational propertiesprobabilistic program schemespropositional programming language
Cited In (14)
- Reasoning about Recursive Probabilistic Programs
- Reasoning about probabilistic sequential programs
- Decidability of finite probabilistic propositional dynamic logics
- An assertion-based program logic for probabilistic programs
- A probabilistic PDL
- Theory and practice of uncertain programming
- Credibilistic programming. An introduction to models and applications
- Title not available (Why is that?)
- A lambda-calculus foundation for universal probabilistic programming
- Statistical mechanics of program systems
- Refinement algebra for probabilistic programs
- Probabilistic agent programs
- A denotational semantics for low-level probabilistic programs with nondeterminism
- Linking theories in probabilistic programming
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3347262)
