×

Found 7 Documents (Results 1–7)

Payoffs, intensionality and abstraction in games. (English) Zbl 1264.91034

Coecke, Bob (ed.) et al., Computation, logic, games, and quantum foundations. The many facets of Samson Abramsky. Essays dedicated to Samson Abramsky on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-38163-8/pbk). Lecture Notes in Computer Science 7860, 69-82 (2013).
PDFBibTeX XMLCite
Full Text: DOI

Probabilistic semantics and program analysis. (English) Zbl 1189.68030

Aldini, Alessandro (ed.) et al., Formal methods for quantitative aspects of programming languages. 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21–26, 2010. Advanced lectures. Berlin: Springer (ISBN 978-3-642-13677-1/pbk). Lecture Notes in Computer Science 6154, 1-42 (2010).
PDFBibTeX XMLCite
Full Text: DOI

On probabilistic techniques for data flow analysis. (English) Zbl 1279.68034

Aldini, Alessandro (ed.) et al., Proceedings of the fifth workshop on quantitative aspects of programming languages (QAPL 2007), Braga, Portugal, March 24–25, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 190, No. 3, 59-77 (2007).
MSC:  68N15 68Q87 68Q55
PDFBibTeX XMLCite
Full Text: DOI

A systematic approach to probabilistic pointer analysis. (English) Zbl 1137.68352

Shao, Zhong (ed.), Programming languages and systems. 5th Asian symposium, APLAS 2007, Singapore, November 29–December 1, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-76636-0/pbk). Lecture Notes in Computer Science 4807, 335-350 (2007).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI

Probabilistic confinement in a declarative framework. (English) Zbl 1263.68044

Dovier, Agostino (ed.) et al., Declarative programming. Selected papers from AGP 2000, La Habana, Cuba, December 4–6, 2000. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 48, 108-130 (2001).
MSC:  68N30 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

Software