IEEE Computer Society - Cost analysis of games, using program logic

Proceedings Eighth Asia-Pacific Software Engineering Conference

Author(s): C. Morgan ; A. McIver
Sponsor(s): Nat. Natural Sci. Found. China
Publisher: IEEE Computer Society
Publication Date: 1 January 2001
Conference Location: Macao, China, China
Conference Date: 4 December 2001
Page Count: 1
ISBN (Paper): 0-7695-1408-1
ISSN (Paper): 1530-1362
DOI: 10.1109/APSEC.2001.991501

Summary form only given. Recent work in probabilistic programming semantics has provided a relatively simple probabilistic extension to predicate transformers, making it possible to treat small... View More