list | abstracts | bib ]

Counter-Example Complete Verification for Higher-Order Functions

paper pdf   

Citation

Nicolas Voirol, Etienne Kneuss, and Viktor Kuncak. Counter-example complete verification for higher-order functions. In Scala Symposium, 2015.

BibTex Entry

@INPROCEEDINGS{VoirolETAL15CounterExampleCompleteVerificationHigherOrderFunctions,
  author = {Nicolas Voirol and Etienne Kneuss and Viktor Kuncak},
  title = {Counter-Example Complete Verification for Higher-Order Functions},
  booktitle = {Scala Symposium},
  year = 2015,
  localurl = {http://lara.epfl.ch/~kuncak/papers/VoirolETAL15CounterExampleCompleteVerificationHigherOrderFunctions.pdf}
}

list | abstracts | bib ]