MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Semantics of Probabilistic Programs" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

22 documents found, showing 1 through 10. Next 10 →

ATOM

Concurrent Constraint Programming: Towards Probabilistic Abstract Interpretation
by Alessandra Di Pierro, Herbert Wiklicky — 2000 — Proc. of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98, Lecture Notes in Computer Science
… for approximating the semantics of probabilistic programs to the purpose of constructing semantics -based analyses…
Cited by 15 (7 self) – Add To MetaCart

Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice
by J. I. Den Hartog, E. P. De Vink, J. W. De Bakker — 2001
…-study in the eld of metric semantics for probabilistic programming. Both an operational and a denotational…
Add To MetaCart

On probabilistic program equivalence and refinement
by Andrzej S. Murawski, Joël Ouaknine — 2005 — In Proceedings of CONCUR, volume 3653 of LNCS
… game semantics of probabilistic programs and relating it to probabilistic finite automata. For terms…
Cited by 1 (1 self) – Add To MetaCart

H.: Operator algebras and the operational semantics of probabilistic languages
by Alessandra Di Pierro, Herbert Wiklicky — 2004 — In: Proceedings of MFCSIT04 – Third Irish Conference on Mathematical Foundations of Computer Science and Information Technology
… of linear operators representing the semantics of probabilistic programming languages expressed via…
Cited by 2 (0 self) – Add To MetaCart

Probabilistic Concurrent Constraint Programming: Towards a fully abstract model
by Ra Di Pierro, Herbert Wiklicky — 1998 — Proc. of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98, Lecture Notes in Computer Science
… approaches towards the semantics of probabilistic programming languages [12, 9, 8], probabilistic predicate…
Cited by 10 (7 self) – Add To MetaCart

Cost Analysis of Games, Using Program Logic
by Carroll Morgan, Annabelle McIver — 2001 — In Proc. of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001
… 2001 Abstract Recent work in programming semantics has provided a relatively simple probablistic…
Cited by 3 (3 self) – Add To MetaCart

intuitionism and truthknowledge duality: Concepts and foundations,” http://www.cs.umd.edu/∼ zoran
by Zoran Majkić — 2006
…-worlds based semantics of probabilistic programs; other strategies are rather approximations for such pure…
Cited by 1 (0 self) – Add To MetaCart

Probabilities in Action Systems
by Kaisa Sere, Elena A. Troubitsyna — 1996 — In Proc. of the 8th Nordic Workshop on Programming Theory
…. Figure 2. The weakest precondition semantics for probabilistic program The following expression can…
Cited by 2 (1 self) – Add To MetaCart

Probabilistic guarded commands mechanized in HOL. Available at http://www.cl.cam.ac.uk/∼jeh1004
by Joe Hurd, Annabelle Mciver, Carroll Morgan — 2003 — In Proceedings of QAPL 2004
… Another approach to the semantics of probabilistic programs [8] leaves out demonic nondeterminism…
Cited by 2 (1 self) – Add To MetaCart

Backwards abstract interpretation of probabilistic programs
by David Monniaux — 2001 — In European Symposium on Programming Languages and Systems (ESOP '01), number 2028 in Lecture Notes in Computer Science
… interpretation. We first introduce an adjoint semantics for probabilistic programs using “weight functions…
Cited by 2 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB