Searching for "Probabilistic Predicative Programming." – sorted by Relevance.
-
Probabilistic Predicative Programming
- Probabilistic Predicative Programming Eric C.R. Hehner Department of Computer Science, University
- Add To MetaCart
-
Quantum Programming
- on probabilistic predicative programming, a recent generalisation of the well-established predicative programming
- Cited by 2 (1 self) – Add To MetaCart
-
Predicative Programming
- Probabilistic Predicative Programming Eric C.R. Hehner Department of Computer Science, University
- Cited by 39 (2 self) – Add To MetaCart
-
Probabilistic Imperative Programming: A Rigorous Approach
- therefore a function from states to R . The functions are 6 probabilistic predicates, and the program
- Cited by 4 (0 self) – Add To MetaCart
-
Programming with Quantum Communication
- in predicative programming the reader is referred to [4]. An introduction to probabilistic predicative
- Add To MetaCart
-
of probabilistic programs with bounded resources
- , but the resulting rules are not easy to use. Our approach herein is closer to probabilistic predicative programming
- Add To MetaCart

