Reasoning about efficiency within a probabilistic calculus

Reasoning about efficiency within a probabilistic calculus

<p>Expectation-based probabilistic predicate transformers [15] provide a logic for probabilistic sequential programs, giving access to expressions such as &apos;the probability that predicate <em>A</em> is achieved finally&apos;. Using expectations more generally ho...

書誌詳細
第一著者:	McIver, A
フォーマット:	Journal article
言語:	English
出版事項:	1999
主題:	Computing

類似資料

Reasoning about efficiency within a probabilistic μ-calculus
著者:: McIver, A
出版事項: (1999)

Quantitative program logic and expected time bounds in probabilistic distributed algorithms
著者:: McIver, A
出版事項: (2002)

Termination and semantics of probabilistic lambda calculus
著者:: Kenyon-Roberts, A
出版事項: (2024)

Partial correctness for probabilistic demonic programs
著者:: McIver, A, 等
出版事項: (2001)

Probabilistic Concurrent Kleene Algebra
著者:: Annabelle McIver, 等
出版事項: (2013-06-01)

Probabilistic guarded commands mechanized in HOL
著者:: Hurd, J, 等
出版事項: (2005)

Model exploration and analysis for quantitative safety refinement in probabilistic B
著者:: Annabelle McIver, 等
出版事項: (2011-06-01)

Probabilistic modal {\mu}-calculus with independent product
著者:: Matteo Mio
出版事項: (2012-11-01)

An expectation transformer approach to predicate abstraction and data independence for probabilistic programs
著者:: Ukachukwu Ndukwu, 等
出版事項: (2010-06-01)

How to think about how to think about aesthetic value
著者:: Dominic McIver Lopes
出版事項: (2022-12-01)

On the equivalence of game and denotational semantics for the probabilistic mu-calculus
著者:: Matteo Mio
出版事項: (2012-06-01)

Almost-certain eventualities and abstract probabilities in quantitative temporal logic
著者:: McIver, A, 等
出版事項: (2001)

The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types
著者:: Ranald Clouston, 等
出版事項: (2017-04-01)

Understanding operating systems /
著者:: McHoes, Ann McIver, author, 等
出版事項: (2014)

Compositional bisimulation metric reasoning with Probabilistic Process Calculi
著者:: Daniel Gebler, 等
出版事項: (2017-04-01)

Using Session Types for Reasoning About Boundedness in the Pi-Calculus
著者:: Hans Hüttel
出版事項: (2017-08-01)

Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems
著者:: Dimitar P. Guelev
出版事項: (2007-07-01)

Abstract Hidden Markov Models: a monadic account of quantitative information flow
著者:: Annabelle McIver, 等
出版事項: (2019-03-01)

Qualitative and Probabilistic Uncertainty in Reasoning about Actions with Sensing
著者:: Iocchi, L, 等
出版事項: (2004)

Probabilistic Reasoning about Actions in Nonmonotonic Causal Theories
著者:: Eiter, T, 等
出版事項: (2003)

Approximate reasoning for real-time probabilistic processes
著者:: Vineet Gupta, 等
出版事項: (2006-03-01)

Efficient Evaluation of Arbitrary Relational Calculus Queries
著者:: Martin Raszyk, 等
出版事項: (2023-12-01)

Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty
著者:: Iocchi, L, 等
出版事項: (2009)

Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty
著者:: Iocchi, L, 等
出版事項: (2009)

Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty
著者:: Iocchi, L, 等
出版事項: (2004)

Supermartingales, ranking functions and probabilistic lambda calculus
著者:: Ong, C-H, 等
出版事項: (2021)

Trump : think like a billionaire : everything you need to know about success, real estate, and life /
著者:: Trump, Donald, 1946-, 等
出版事項: (2004)

Second-order wave diffraction by a submerged circular cylinder /
著者:: 234061 McIver, M., 等

Understanding operating systems /
著者:: 378446 Flynn, Ida M., 等
出版事項: (1997)

Understanding operating systems /
著者:: 378446 Flynn, Ida M., 等
出版事項: (2006)

Multi-level probabilistic uniqueness reasoning of autonomous robots based on spatial-semantic fusion
著者:: Yang, Chule
出版事項: (2019)

Grid-free computation of probabilistic safety with Malliavin calculus
著者:: Cosentino, F, 等
出版事項: (2023)

Grid-free computation of probabilistic safety with Malliavin Calculus
著者:: Cosentino, F, 等
出版事項: (2021)

A Calculus Supporting Contract Reasoning and Monitoring
著者:: Maria Emilia Cambronero, 等
出版事項: (2017-01-01)

Understanding operating systems /
著者:: 378446 Flynn, Ida M., 等
出版事項: (c201)

Understanding operating systems /
著者:: 378446 Flynn, Ida M., 等
出版事項: (2008)

Reasoning about Strategies: on the Satisfiability Problem
著者:: Fabio Mogavero, 等
出版事項: (2017-03-01)

Automated reasoning about classical mechanics
著者:: Wong, Leon Chih Wen
出版事項: (2007)

Reasoning about effects: from lists to cyber-physical agents
著者:: Ian A. Mason, 等
出版事項: (2019-04-01)

What is calculus about? /
著者:: 344236 Sawyer, Walter Warwick
出版事項: (1961)