A List of Successes That Can Change the World pp 56-72

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9600)

Counting Successes: Effects and Transformations for Non-deterministic Programs

  • Nick Benton
  • Andrew Kennedy
  • Martin Hofmann
  • Vivek Nigam
Chapter

Abstract

We give a simple effect system for non-deterministic programs, tracking static approximations to the number of results that may be produced by each computation. A relational semantics for the effect system establishes the soundness of both the analysis and its use in effect-based program transformations.

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  • Nick Benton
    • 1
  • Andrew Kennedy
    • 2
  • Martin Hofmann
    • 3
  • Vivek Nigam
    • 4
  1. 1.Microsoft ResearchCambridgeUK
  2. 2.FacebookLondonUK
  3. 3.Ludwig-Maximilians-UniversitätMünchenGermany
  4. 4.UFPBJoao PessoaBrazil

Personalised recommendations